diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-23 15:19:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-23 15:19:26 +0000 |
| commit | 007980660ba03555922525f9f7ee5b0f59ef41b1 (patch) | |
| tree | f89bb6a59c149620f9fca5fe091b969e42a23872 /src/algebra/boolean.spad.pamphlet | |
| parent | 461221b5ee886e30778b65765aaaedf4e0b76c36 (diff) | |
| download | open-axiom-007980660ba03555922525f9f7ee5b0f59ef41b1.tar.gz | |
* interp/c-util.boot (extendsCategoryForm): Use current category
body instead of previous previous version of it.
* algebra/Makefile.pamphlet: Remove ES from bootstrap layer.
Build it (and dependencies) at layer 1.
* algebra/strap/ES.lsp: Remove.
* algebra/strap/ES-.lsp: Likewise.
* algebra/boolean.spad.pamphlet (Boolean): Don't use outputForm.
Diffstat (limited to 'src/algebra/boolean.spad.pamphlet')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 62c94c47..fd48f80c 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -407,14 +407,12 @@ Boolean(): Join(OrderedFinite, Logic, PropositionalLogic, ConvertibleTo InputFor true convert(x:%):InputForm == - convert - x => 'true - 'false + x => 'true + 'false coerce(x:%):OutputForm == - outputForm - x => 'true - 'false + x => 'true + 'false @ |