From b107db3eaba8069a8a47f2dc3f39b9858e954efa Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 7 Apr 2010 21:02:55 +0000
Subject: 	* algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):
 	Rename from isTerm. 	(simplify$PropositionalFormulaFunctions1):
 New.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 6622f928..1e98fe3b 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2010-04-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):
+	Rename from isTerm.
+	(simplify$PropositionalFormulaFunctions1): New.
+
 2010-04-04  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/boolean.spad.pamphlet (BooleanLogic): New.
-- 
cgit v1.2.3