Sun, 21 Mar 2010 17:12:31 +0100 | wenzelm | standard headers; | file | diff | annotate |
Fri, 11 Jul 2008 09:02:23 +0200 | haftmann | tuned import | file | diff | annotate |
Sun, 19 Nov 2006 23:48:55 +0100 | wenzelm | HOL-Algebra: converted legacy ML scripts; | file | diff | annotate |
Thu, 03 Aug 2006 14:57:26 +0200 | ballarin | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |
Sat, 17 Sep 2005 20:49:14 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
Thu, 28 Nov 2002 10:50:42 +0100 | ballarin | HOL-Algebra partially ported to Isar. | file | diff | annotate |
Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |