Thu, 14 Jun 2007 23:04:36 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
Wed, 13 Jun 2007 18:30:11 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
Wed, 16 Nov 2005 19:34:19 +0100 | wenzelm | tuned document; | file | diff | annotate |
Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Wed, 05 Dec 2001 03:19:47 +0100 | wenzelm | fixed intro steps; | file | diff | annotate |
Fri, 08 Dec 2000 15:10:36 +0100 | wenzelm | tuned; | file | diff | annotate |
Sun, 17 Sep 2000 22:19:02 +0200 | wenzelm | isar-strip-terminators; | file | diff | annotate |