From 0e6d0cdde92747cc02d9965eef8ef1edc31cb1ae Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 28 May 2009 16:54:19 +0000
Subject: 	* algebra/boolean.spad.pamphlet (PropositionalLogic): Now
 export 	`true' and `false'. 	(Boolean): Ihenrit them.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 7e20ea09..3b240947 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2009-05-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/boolean.spad.pamphlet (PropositionalLogic): Now export
+	`true' and `false'.
+	(Boolean): Ihenrit them.
+
 2009-05-27  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/newaux.lisp: Bot / and /\ are gliphs.
-- 
cgit v1.2.3