diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-07 10:14:32 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-07 10:14:32 +0000 |
commit | 37b62857fd265cc8bfd157b5cb206f87be29c89c (patch) | |
tree | e4c06ddc33b8efea2863284d88a962784012d2eb /src/input/exsum.input.pamphlet | |
parent | fe37a8dc69fe54f48078fd893a7490555ce804ed (diff) | |
download | open-axiom-37b62857fd265cc8bfd157b5cb206f87be29c89c.tar.gz |
Tidy indexed direct product domains
Diffstat (limited to 'src/input/exsum.input.pamphlet')
0 files changed, 0 insertions, 0 deletions