diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-29 19:08:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 19:08:33 +0000 |
| commit | 2394bfc186f7b57a7b8b737b4b17e1140d756416 (patch) | |
| tree | 7492c9de0429f3dfb0dd28bcaff91521f0be7d55 /src/input/f01rdf.input.pamphlet | |
| parent | 77d293322d11ad09575a85f421796da7db471797 (diff) | |
| download | open-axiom-2394bfc186f7b57a7b8b737b4b17e1140d756416.tar.gz | |
* algebra/catdef.spad.pamphlet (OrderedType): New.
Diffstat (limited to 'src/input/f01rdf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions