src/Pure/Isar/skip_proof.ML
2005-04-07 ago Thm.invoke_oracle_i;
2005-02-13 ago Deleted Library.option type.
2004-06-21 ago Merged in license change from Isabelle2004
2001-11-28 ago skip_proof: do not require quick_and_dirty in interactive mode;
2001-11-19 ago improved treatment of common result name;
2001-11-11 ago adapted to multiple results;
2001-11-05 ago pretty/print functions with context;
2001-10-27 ago added prove;
2001-10-22 ago moved prove_goalw_cterm to goals.ML;
2001-10-12 ago added make_thm (sort-of);
2000-05-05 ago GPLed;
2000-03-20 ago added prove_goalw_cterm;
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);