From fa9902f78dd3cdcd50e25f2e902508c8777a6fa9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 7 May 2008 23:12:57 +0000
Subject: 	* algebra/boolean.spad.pamphlet (true$Boolean): Simplify. 
 (=$Boolean): Likewise. 	(equiv$Boolean): Likewise. 	*
 interp/spad.lisp (|BooleanEquality|): Remove.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index b5af683b..2c05c573 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,11 @@
+2008-05-07  Bill Page <bill.page@newsynthesis.org>
+            Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/boolean.spad.pamphlet (true$Boolean): Simplify.
+	(=$Boolean): Likewise.
+	(equiv$Boolean): Likewise.
+	* interp/spad.lisp (|BooleanEquality|): Remove.
+
 2008-05-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/boolean.spad.pamphlet (Boolean): Don't pretend to
-- 
cgit v1.2.3