src/Pure/Isar/skip_proof.ML
Mon, 12 Jul 1999 22:28:56 +0200 wenzelm local qed; print rule;
Thu, 08 Jul 1999 18:36:09 +0200 wenzelm propp: 'concl' patterns;
Fri, 02 Jul 1999 19:04:32 +0200 wenzelm skip_proof feature 'sorry' (for quick_and_dirty mode only);
less more (0) tip