| 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 |
| Wed, 06 Oct 1999 18:50:51 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Sat, 04 Sep 1999 21:13:01 +0200 | wenzelm | replaced ?? by ?; | file | diff | annotate |
| Wed, 18 Aug 1999 16:05:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 02 Aug 1999 17:58:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 30 Jul 1999 13:44:29 +0200 | wenzelm | renamed 'same' to '-'; | file | diff | annotate |
| Fri, 09 Jul 1999 18:59:01 +0200 | wenzelm | mono: extra I/E; | file | diff | annotate |
| Thu, 08 Jul 1999 18:39:34 +0200 | wenzelm | removed old version; | file | diff | annotate |
| Mon, 05 Jul 1999 09:52:25 +0200 | wenzelm | variant version; | file | diff | annotate |
| Sun, 04 Jul 1999 20:21:45 +0200 | wenzelm | fixed scope of x:??H; | file | diff | annotate |
| Sat, 03 Jul 1999 00:28:05 +0200 | wenzelm | proper text; | file | diff | annotate |
| Fri, 02 Jul 1999 15:04:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 01 Jul 1999 22:20:58 +0200 | wenzelm | fixed order_trans; | file | diff | annotate |
| Thu, 01 Jul 1999 21:30:18 +0200 | wenzelm | added KnasterTarski.thy; | file | diff | annotate |