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/ideal.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/ideal.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions