| Wed, 26 Jul 2006 10:09:25 +0200 | haftmann | added eval_term | changeset | files |
| Wed, 26 Jul 2006 09:50:23 +0200 | nipkow | Removed wrong sentence (Simon Funke) | changeset | files |
| Wed, 26 Jul 2006 00:44:49 +0200 | wenzelm | moved pprint functions to Isar/proof_display.ML; | changeset | files |
| Wed, 26 Jul 2006 00:44:48 +0200 | wenzelm | Tactical operations depending on local subgoal structure. | changeset | files |