| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 06 Sep 2004 15:57:58 +0200 | paulson | new "respects" syntax for the congruent operator | file | diff | annotate |
| Thu, 10 Jul 2003 17:14:41 +0200 | paulson | Changed many Intersection rules from i:I to I~=0 to avoid introducing a new | file | diff | annotate |
| Tue, 01 Oct 2002 13:26:10 +0200 | paulson | Numerous cosmetic changes, prompted by the new simplifier | file | diff | annotate |
| Sat, 21 Sep 2002 21:10:34 +0200 | paulson | converted to Isar script | file | diff | annotate |
| Sat, 22 Jun 2002 18:28:46 +0200 | paulson | converted Bool, Trancl, Rel to Isar format | file | diff | annotate |
| Fri, 14 Jul 2000 13:39:03 +0200 | paulson | changed the quotient syntax from / to // | file | diff | annotate |
| Tue, 22 Sep 1998 13:49:22 +0200 | paulson | new directory for Integers | file | diff | annotate |