Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
Mon, 24 Jan 2005 18:16:57 +0100 | berghofe | Adapted to modified interface of PureThy.get_thm(s). | file | diff | annotate |
Thu, 17 Jun 2004 17:18:30 +0200 | paulson | removal of magmas and semigroups | file | diff | annotate |
Thu, 19 Feb 2004 16:44:21 +0100 | ballarin | New lemmas about inversion of restricted functions. | file | diff | annotate |
Wed, 30 Apr 2003 10:01:35 +0200 | ballarin | Greatly extended CRing. Added Module. | file | diff | annotate |
Fri, 14 Mar 2003 18:00:16 +0100 | ballarin | Bugs fixed and operators finprod and finsum. | file | diff | annotate |
Mon, 10 Mar 2003 17:25:34 +0100 | ballarin | First distributed version of Group and Ring theory. | file | diff | annotate |