Sun, 21 Mar 2010 17:12:31 +0100 | wenzelm | standard headers; | file | diff | annotate |
Tue, 23 Feb 2010 10:11:12 +0100 | haftmann | dropped axclass | file | diff | annotate |
Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
Sat, 21 Jul 2007 23:25:00 +0200 | wenzelm | tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.); | 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 |