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/lib/prt.c | |
| parent | 410c65a878026cb16dd5a3eece5271eb60b782b1 (diff) | |
| download | open-axiom-fe37a8dc69fe54f48078fd893a7490555ce804ed.tar.gz | |
* algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.
Diffstat (limited to 'src/lib/prt.c')
0 files changed, 0 insertions, 0 deletions