| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Sun, 17 Sep 2000 22:19:02 +0200 | wenzelm | isar-strip-terminators; | file | diff | annotate |
| Sun, 21 May 2000 14:49:28 +0200 | wenzelm | replaced {{ }} by { }; | file | diff | annotate |
| Sat, 30 Oct 1999 20:20:48 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Fri, 15 Oct 1999 16:44:37 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Thu, 14 Oct 1999 01:07:24 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Sat, 09 Oct 1999 23:19:20 +0200 | wenzelm | added structured version of the proof; | file | diff | annotate |