| Fri, 02 Mar 2007 15:43:15 +0100 | haftmann | prefix of class interpretation not mandatory any longer | file | diff | annotate |
| Sun, 19 Nov 2006 23:48:55 +0100 | wenzelm | HOL-Algebra: converted legacy ML scripts; | file | diff | annotate |
| Tue, 06 Sep 2005 16:59:48 +0200 | wenzelm | axclass: name space prefix is now "c_class" instead of just "c"; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| Tue, 11 May 2004 20:11:08 +0200 | obua | changes made due to new Ring_and_Field theory | file | diff | annotate |
| Mon, 10 May 2004 16:40:54 +0200 | obua | moved first lemma in LongDiv.ML to LongDiv.thy | file | diff | annotate |