| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 16:39:54 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Fri, 03 Dec 2010 20:38:58 +0100 | wenzelm | recoded latin1 as utf8; | file | diff | annotate |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Mon, 29 May 2006 21:09:45 +0200 | wenzelm | proper meta definition; | file | diff | annotate |
| Mon, 29 May 2006 19:23:04 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | 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 |
| Mon, 21 May 2001 14:52:04 +0200 | paulson | X-symbols for set theory | file | diff | annotate |
| Mon, 28 Dec 1998 16:54:53 +0100 | paulson | converted to use new primrec section and update operator | file | diff | annotate |
| Tue, 06 Feb 1996 12:27:17 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Sat, 09 Dec 1995 13:36:11 +0100 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
| Thu, 22 Jun 1995 17:13:05 +0200 | clasohm | removed \...\ inside strings | file | diff | annotate |
| Tue, 29 Nov 1994 00:31:31 +0100 | lcp | replaced "rules" by "defs" | file | diff | annotate |
| Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | file | diff | annotate |
| Fri, 29 Jul 1994 15:32:17 +0200 | nipkow | some small simplifications | file | diff | annotate |
| Thu, 21 Jul 1994 14:27:00 +0200 | nipkow | Initial revision | file | diff | annotate |