From 26253eebb30fc5f6074836e387547d6353779049 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 28 Feb 2011 07:40:13 +0000
Subject: 	* algebra/boolean.spad.pamphlet (PropositionalFormula): 
 Implement true and false.  Fix thinko in notFormula.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 2088c425..ed975515 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/boolean.spad.pamphlet (PropositionalFormula): 
+	Implement true and false.  Fix thinko in notFormula.
+
 2011-02-27  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/i-analy.boot (elaborateTree): New.
-- 
cgit v1.2.3