diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-04-22 18:32:46 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-04-22 18:32:46 +0000 |
| commit | b825ed51bc11564e35f84a88bbb43fbe2ac51d99 (patch) | |
| tree | 6a74d803f5619ec57d8a51228e0192e9df5f7689 /src/algebra/openmath.spad.pamphlet | |
| parent | 32efd3b0691918cf1d662b095c653d5a0a17ff7b (diff) | |
| download | open-axiom-b825ed51bc11564e35f84a88bbb43fbe2ac51d99.tar.gz | |
* boot/tokens.boot: Don't translate setDifference.
* boot/initial-env.lisp (SETDIFFERNECE): Remove.
* boot/translator.boot (evalBootFile): Rename form EVAL-BOOT-FILE.
* boot/utility.boot (setDifference): Define.
* interp/unlisp.lisp (ListMemberQ?): Remove.
(ListRemoveQ): Likewise.
(AlistAssocQ): Likewise.
Diffstat (limited to 'src/algebra/openmath.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions