From a00d32a888a910fe517afb91cc48a6eb44ed58da Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 14 Jan 2012 22:35:57 +0000
Subject: 	* algebra/catdef.spad.pamphlet (Finite) [random]: Provide
 default 	implementation. 	* algebra/boolean.spad.pamphlet
 (KleeneTrivalentLogic): Now 	satisfy Finite.  Use Maybe Boolean as
 representation.

---
 src/ChangeLog | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 43f5ab94..dd04fba0 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,10 @@
+2012-01-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/catdef.spad.pamphlet (Finite) [random]: Provide default
+	implementation. 
+	* algebra/boolean.spad.pamphlet (KleeneTrivalentLogic): Now
+	satisfy Finite.  Use Maybe Boolean as representation.
+
 2012-01-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/i-util.boot ($intTopLevel): Move to sys-constants.boot.
-- 
cgit v1.2.3