diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-14 16:51:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-14 16:51:37 +0000 |
| commit | 144847152d5a5e764f66d42e3fed6f64c3da6c0c (patch) | |
| tree | c691004b286e736b8017ea42db45e8a636011883 /src/algebra/irexpand.spad.pamphlet | |
| parent | d04a3262a6f4493bd65c45ff73b4d1b8243f47a0 (diff) | |
| download | open-axiom-144847152d5a5e764f66d42e3fed6f64c3da6c0c.tar.gz | |
* boot/tokens.boot: Don't rename NOT.
* interp/define.boot: Add declarations.
* interp/types.boot (%Signature): New.
Diffstat (limited to 'src/algebra/irexpand.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions