diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-29 21:31:12 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 21:31:12 +0000 |
commit | 3f4d38826d28da40a6509a9afc37b8cbaebd080e (patch) | |
tree | 7cda4231bb62a4469d5fed7dd88c34f91a62ed09 /src/ChangeLog | |
parent | 2394bfc186f7b57a7b8b737b4b17e1140d756416 (diff) | |
download | open-axiom-3f4d38826d28da40a6509a9afc37b8cbaebd080e.tar.gz |
* algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)
[indexedDirectProductObject]: New.
(IndexedDirectProductAbelianMonoid): Rework implementation.
[construct]: Likewise.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 468cfe02..ffaef75a 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,12 @@ 2010-06-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject) + [indexedDirectProductObject]: New. + (IndexedDirectProductAbelianMonoid): Rework implementation. + [construct]: Likewise. + +2010-06-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/catdef.spad.pamphlet (OrderedType): New. 2010-06-29 Gabriel Dos Reis <gdr@cs.tamu.edu> |