| Sat, 29 Jul 2006 00:51:36 +0200 | wenzelm | rename legacy_pretty_thm to pretty_thm_legacy; | file | diff | annotate |
| Thu, 27 Jul 2006 13:43:13 +0200 | wenzelm | ProofContext.legacy_pretty_thm; | file | diff | annotate |
| Wed, 26 Jul 2006 00:44:49 +0200 | wenzelm | moved pprint functions to Isar/proof_display.ML; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Thu, 13 Apr 2006 12:01:10 +0200 | wenzelm | added print_theorems/theory, print_theorems_diff (from pure_thy.ML); | file | diff | annotate |
| 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 |