diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-15 21:43:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-15 21:43:42 +0000 |
| commit | aafe7ff59792af6125574114312d5fc9ed15b5b7 (patch) | |
| tree | a3e0ee9f0b46c6ab0cc019147549b329228f2d26 /src/input/opalg.input.pamphlet | |
| parent | 078a728917e03bd210824de99ee2bdec6c520aa5 (diff) | |
| download | open-axiom-aafe7ff59792af6125574114312d5fc9ed15b5b7.tar.gz | |
* interp/ht-util.boot (mkCurryFun): Import function name.
Diffstat (limited to 'src/input/opalg.input.pamphlet')
0 files changed, 0 insertions, 0 deletions