diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-27 02:57:00 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-27 02:57:00 -0800 |
| commit | ba8d29ccd1dd272f5883fe3d042b1bc38f1ce688 (patch) | |
| tree | 489b3e47f048e704d9a5bd7996f20dd10fb68fe0 /src/input/intef2.input.pamphlet | |
| parent | 12c45e096d0e55f6df58366fb670eed0a50cb453 (diff) | |
| download | open-axiom-ba8d29ccd1dd272f5883fe3d042b1bc38f1ce688.tar.gz | |
Simplify representation of constants in functors.
Diffstat (limited to 'src/input/intef2.input.pamphlet')
0 files changed, 0 insertions, 0 deletions