| 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 |
| Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
| Thu, 26 Apr 2007 14:24:08 +0200 | wenzelm | eliminated unnamed infixes, tuned syntax; | file | diff | annotate |
| Fri, 02 Mar 2007 15:43:15 +0100 | haftmann | prefix of class interpretation not mandatory any longer | file | diff | annotate |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Sun, 19 Nov 2006 23:48:55 +0100 | wenzelm | HOL-Algebra: converted legacy ML scripts; | file | diff | annotate |
| Sat, 18 Nov 2006 00:20:24 +0100 | haftmann | dvd_def now with object equality | file | diff | annotate |
| Thu, 03 Aug 2006 14:57:26 +0200 | ballarin | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |