| Tue, 26 Aug 2008 12:07:06 +0200 | nipkow | Defined rationals (Rats) globally in Rational. | file | diff | annotate |
| Mon, 14 Jul 2008 11:04:42 +0200 | haftmann | unified curried gcd, lcm, zgcd, zlcm | file | diff | annotate |
| 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 |