From fcf66dc98318f5ced7ba150f04aef50b69d8cd48 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 27 Oct 2010 10:34:30 +0000
Subject: 	* algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index c9e4226d..7e941772 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2010-10-27  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.
+
 2010-10-27  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/boolean.spad.pamphlet (Logic): Now extend Type.
-- 
cgit v1.2.3