diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-10 20:07:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-10 20:07:45 +0000 |
| commit | c9623290591d36710b6abea5f71962366d287335 (patch) | |
| tree | be07a5f897d788f4b8d34bf8641b12317c6240e7 /src/hyper/bitmaps/forall.bitmap | |
| parent | 24a3196e17dc9792891c284c67d6dbe2171fd2d8 (diff) | |
| download | open-axiom-c9623290591d36710b6abea5f71962366d287335.tar.gz | |
* algebra/syntax.spad.pamphlet (AbstractSyntaxCategory): New.
(HeadAst): Likewise.
Diffstat (limited to 'src/hyper/bitmaps/forall.bitmap')
0 files changed, 0 insertions, 0 deletions