| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sat, 27 May 2006 19:49:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 27 Dec 2001 16:45:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 19 Dec 2001 00:26:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 09 Dec 2001 14:35:36 +0100 | kleing | converted to Isar | file | diff | annotate |
| Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
| Tue, 09 Sep 1997 12:09:06 +0200 | nipkow | Example from HOLCF paper. | file | diff | annotate |