src/Pure/Isar/skip_proof.ML
1999-07-12 ago local qed; print rule;
1999-07-08 ago propp: 'concl' patterns;
1999-07-02 ago skip_proof feature 'sorry' (for quick_and_dirty mode only);