diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-09 02:03:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-09 02:03:45 +0000 |
| commit | f6c0812a8b16458f096bea7a8dc4326906d2efa0 (patch) | |
| tree | 196dd2701193c08cc5da24c49c08ab6831660198 /src/input/opalg.input.pamphlet | |
| parent | 09f2e3d8df2cea0ac51017045b15adadd4dcdf53 (diff) | |
| download | open-axiom-f6c0812a8b16458f096bea7a8dc4326906d2efa0.tar.gz | |
* interp/category.boot (mkCategory): Don't single out List
instantiations in determining NewLocals.
Diffstat (limited to 'src/input/opalg.input.pamphlet')
0 files changed, 0 insertions, 0 deletions