| Sun, 17 Jun 2007 18:47:03 +0200 | nipkow | tuned laws for cancellation in divisions for fields. | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Thu, 16 Feb 2006 21:12:00 +0100 | wenzelm | new-style definitions/abbreviations; | file | diff | annotate |
| Fri, 01 Jul 2005 17:41:10 +0200 | nipkow | prime is a predicate now. | file | diff | annotate |
| Thu, 19 Aug 2004 12:35:45 +0200 | nipkow | new import syntax | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Mon, 12 Jan 2004 16:51:45 +0100 | paulson | Added lemmas to Ring_and_Field with slightly modified simplification rules | file | diff | annotate |