diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-26 02:31:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-26 02:31:19 +0000 |
| commit | 15cd0ab054c2d61565ff4503fb3212e3d356ab11 (patch) | |
| tree | e9b04d948a19b20b493eca33b7404a6f9a0b8f91 /src/interp/i-toplev.boot | |
| parent | 22cfdf8f4e97d7916f0b0bac666322543caa81a8 (diff) | |
| download | open-axiom-15cd0ab054c2d61565ff4503fb3212e3d356ab11.tar.gz | |
* algebra/logic.spad.pamphlet: New file.
* algebra/boolean.spad.pamphlet (Logic): Move there.
(BooleanLogic): Likewise.
(PropositionalLogic): Likewise.
(PropositionalFormula): Likewise.
(PropositionalFormulaFunctions1): Likewise.
(PropositionalFormulaFunctions2): Likewise.
(KleeneTrivalentLogic): Likewise.
Diffstat (limited to 'src/interp/i-toplev.boot')
0 files changed, 0 insertions, 0 deletions