diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-18 18:49:32 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-18 18:49:32 +0000 |
commit | 0e24179347ef7fd64e624e6fa5b4592e9ab6fc87 (patch) | |
tree | b5c14465e194b92c400b1212e95c6f6a9e907bbe /src/include/edin.H1 | |
parent | 38982ebf4d9b23fe336bd4880ef0f4d59dbc7684 (diff) | |
download | open-axiom-0e24179347ef7fd64e624e6fa5b4592e9ab6fc87.tar.gz |
Fix AW/221
* algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a
join of OrderedSet and AbelianSemiGroup.
* algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to
both OrderedAbelianSemiGroup and Monoid. Update cached Lisp
translation.
* shared/algebra: Update databases.
Diffstat (limited to 'src/include/edin.H1')
0 files changed, 0 insertions, 0 deletions