diff options
author | dos-reis <gdr@axiomatics.org> | 2007-12-04 02:28:51 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-12-04 02:28:51 +0000 |
commit | c65ac7da8c84d58b8acea7858987522957402b6a (patch) | |
tree | e3bd8f72b8d790bd75fa811d9d398fc0546faff2 /src/interp/int-top.boot | |
parent | 8b424a73bdf2d02563dbf166b9dd47e9d887d364 (diff) | |
download | open-axiom-c65ac7da8c84d58b8acea7858987522957402b6a.tar.gz |
Support library function case.
* i-spec1.boot (userDefinedCase): New.
(upcase): Use it.
Diffstat (limited to 'src/interp/int-top.boot')
0 files changed, 0 insertions, 0 deletions