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);