From f699415cce3f73d0f2b63ecb3b1fdc7084ba4cea Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 16 Oct 2011 09:43:42 +0000
Subject: 	* algebra/boolean.spad.pamphlet (Boolean): Implement default 
 Boolean operators in terms of Logic operators. 
 (PropositionalFormula): Implement Logic operators instead of 	Boolean
 operators. 	* algebra/exposed.lsp.pamphlet: Expose 
 PropositionalFormulaFunctions1 and PropositionalFormulaFunctions2.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index d20c8c5e..63ed42d9 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,12 @@
+2011-10-16  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/boolean.spad.pamphlet (Boolean): Implement default
+	Boolean operators in terms of Logic operators.
+	(PropositionalFormula): Implement Logic operators instead of
+	Boolean operators.
+	* algebra/exposed.lsp.pamphlet: Expose
+	PropositionalFormulaFunctions1 and PropositionalFormulaFunctions2.
+
 2011-10-12  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/spad-parser.spad: New parsing functions.
-- 
cgit v1.2.3