diff options
author | dos-reis <gdr@axiomatics.org> | 2010-02-28 15:46:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-02-28 15:46:39 +0000 |
commit | 6dc0a8a511253741245a48bd02d4f6861b1a938b (patch) | |
tree | 0a5a18145281f4ad3ec6cf107d3520eaec9f187f /src/algebra/strap | |
parent | d80dc0d3c5aca58f51d18132005c39a4358e32ae (diff) | |
download | open-axiom-6dc0a8a511253741245a48bd02d4f6861b1a938b.tar.gz |
* algebra/boolean.spad.pamphlet
(conjunction$PropositionalFormula): New exported function.
(disjunction$PropositionalFormula): Likewise.
Diffstat (limited to 'src/algebra/strap')
0 files changed, 0 insertions, 0 deletions