src/Pure/Isar/isar_thy.ML
1998-11-19 ago match_bind: 'as' patterns;
1998-11-18 ago tuned comments;
1998-11-17 ago added have_theorems, have_lemmas, have_facts;
1998-11-16 ago renamed tac / etac to refine / then_refine;
1998-11-09 ago Derived theory operations.