Fri, 27 Jan 2006 19:03:02 +0100 | wenzelm | moved theorem tags from Drule to PureThy; | file | diff | annotate |
Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
Tue, 13 Sep 2005 22:19:54 +0200 | wenzelm | Printing of Isar proof elements etc. | file | diff | annotate |