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 |
Thu, 28 Nov 2002 10:50:42 +0100 | ballarin | HOL-Algebra partially ported to Isar. | file | diff | annotate |
Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | file | diff | annotate |
Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |