| Wed, 23 Dec 2009 10:31:54 +0100 | Christian Urban | corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file | file | diff | annotate |
| Fri, 11 Dec 2009 17:22:26 +0100 | Cezary Kaliszyk | Merge + Added LarryInt & Fset3 to tests. | file | diff | annotate |
| Fri, 11 Dec 2009 15:58:15 +0100 | Christian Urban | added Int example from Larry | file | diff | annotate |