diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-15 09:31:31 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-15 09:31:31 +0000 |
| commit | b8f356b0f9492f8a32bc1951b3b598e3ec1e9d4e (patch) | |
| tree | 2275d4ea5ed7adb653835fd075775bd28e69b3aa /src/input/d02gbf.input.pamphlet | |
| parent | 11b080192468670b9b1a8f5cf9d5ff890195a3f2 (diff) | |
| download | open-axiom-b8f356b0f9492f8a32bc1951b3b598e3ec1e9d4e.tar.gz | |
* interp/define.boot (makeCategoryPredicates): Tidy. Adjust caller.
Diffstat (limited to 'src/input/d02gbf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions