diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-06-22 09:30:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-06-22 09:30:45 +0000 |
| commit | 0ce3502a3677bfb4fb58c664b7ae00d530e5bacf (patch) | |
| tree | e09c4b162edfb242847aa7f65c0e92fa9e8babad /src/input/f04atf.input.pamphlet | |
| parent | 8b45d02f8f861fe0eab071ccbfcf5ef8bd6593d6 (diff) | |
| download | open-axiom-0ce3502a3677bfb4fb58c664b7ae00d530e5bacf.tar.gz | |
* interp/g-opt.boot (optCond): Remove unreachable code.
(opt2bit): Tidy.
(opt2bool): Likewise.
* interp/bits.lisp (TRUTH-TO-BIT): Remove.
(BIT-TO-TRUTH): Likewise.
(BVEC-MAKE-FULL): Likewise.
(BVEC-ELT): Likewise.
(BVEC-SETELT): Likewise.
Diffstat (limited to 'src/input/f04atf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions