| Tue, 06 Jun 2006 20:42:25 +0200 | wenzelm | quoted "if"; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Fri, 20 Jun 2003 12:10:45 +0200 | paulson | Adding the theory UNITY/AllocImpl.thy, with supporting lemmas | file | diff | annotate |
| Mon, 30 Sep 2002 16:48:15 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Sat, 29 Dec 2001 18:36:12 +0100 | wenzelm | tuned document sources; | file | diff | annotate |
| Fri, 28 Dec 2001 10:11:14 +0100 | paulson | conversion to Isar/ZF | file | diff | annotate |
| Tue, 06 Feb 1996 12:27:17 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | file | diff | annotate |
| Thu, 21 Jul 1994 14:27:00 +0200 | nipkow | Initial revision | file | diff | annotate |