diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-07 21:02:55 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-07 21:02:55 +0000 |
| commit | b107db3eaba8069a8a47f2dc3f39b9858e954efa (patch) | |
| tree | 89e0831e91206bf46377ae1c3caccd8b99525869 /src/ChangeLog | |
| parent | 29a86fd35e276f539534ed9a083ff7526cbb7d24 (diff) | |
| download | open-axiom-b107db3eaba8069a8a47f2dc3f39b9858e954efa.tar.gz | |
* algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):
Rename from isTerm.
(simplify$PropositionalFormulaFunctions1): New.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
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. |