src/Pure/Isar/skip_proof.ML
1999-07-02 ago skip_proof feature 'sorry' (for quick_and_dirty mode only);