From 087ef557a5826b106ea3a8a568ebd74a6ca31e5d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 10 May 2013 10:16:13 +0000
Subject: 	* algebra/indexedp.spad.pamphlet 
 (IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively.

---
 src/ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index ac33f792..4534563d 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-10  Gabriel Dos Reis  <gdr@integrable-solutions.net>
+
+	* algebra/indexedp.spad.pamphlet
+	(IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively.
+
 2013-05-10  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 
 	* algebra/catdef.spad.pamphlet (AbelianMonoid) [opposite?]: New.
-- 
cgit v1.2.3