diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-19 01:20:14 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 01:20:14 +0000 |
| commit | 70d7d82522e987951b9f335b6c453153b4ebe6a0 (patch) | |
| tree | d7a56b3ab3e57d7b2553d1e025768deb56f1b983 /src/input/e02ahf.input.pamphlet | |
| parent | 285018634c5e4a54f18ae1b65a2e901b82ffdaf3 (diff) | |
| download | open-axiom-70d7d82522e987951b9f335b6c453153b4ebe6a0.tar.gz | |
* interp/define.boot (knownPred): Take a memo-table as third parameter.
Diffstat (limited to 'src/input/e02ahf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions