diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 05:07:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 05:07:58 +0000 |
commit | 927875aade5720ec0e0cfbe741988011a604678f (patch) | |
tree | 27a1edd6e6d161a2b640380584440bc45d4ea621 /src/testsuite/interpreter/aw-193.input | |
parent | 29e53d366bd313f432aa744b651875f97438586c (diff) | |
download | open-axiom-927875aade5720ec0e0cfbe741988011a604678f.tar.gz |
* interp/c-util.boot (categoryRef, domainRef, canonicalForm)
(instantiatorCtor, instantiatorArgs, categoryExports): New.
Diffstat (limited to 'src/testsuite/interpreter/aw-193.input')
0 files changed, 0 insertions, 0 deletions