| Wed, 26 Jul 2006 00:44:47 +0200 | wenzelm | moved pprint functions to Isar/proof_display.ML; | changeset | files |
| Wed, 26 Jul 2006 00:44:46 +0200 | wenzelm | export goal_tac (was internal refine_tac); | changeset | files |
| Wed, 26 Jul 2006 00:44:44 +0200 | wenzelm | added Pure/subgoal.ML; | changeset | files |
| Tue, 25 Jul 2006 23:17:42 +0200 | wenzelm | updated; | changeset | files |