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/RNS-.lsp | |
| 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/RNS-.lsp')
0 files changed, 0 insertions, 0 deletions