diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-07 08:07:55 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-07 08:07:55 +0000 |
commit | fe37a8dc69fe54f48078fd893a7490555ce804ed (patch) | |
tree | 436d7b354cb522a74d81f0f4d4c1211470a04b9b /src/input/exprode.input.pamphlet | |
parent | 410c65a878026cb16dd5a3eece5271eb60b782b1 (diff) | |
download | open-axiom-fe37a8dc69fe54f48078fd893a7490555ce804ed.tar.gz |
* algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.
Diffstat (limited to 'src/input/exprode.input.pamphlet')
0 files changed, 0 insertions, 0 deletions