src/Pure/Isar/isar_thy.ML
1999-03-09 ago begin/end_theory: presentation;
1999-02-08 ago Context.fetch, Context.setmp;
1999-02-05 ago made MLWorks happy;
1999-02-05 ago improved theory, context, update_context;
1999-02-03 ago ThyInfo.begin_theory;
1999-01-12 ago 'same' method, 'immediate' proof;
1999-01-12 ago eliminated tthm type and Attribute structure;
1998-11-25 ago add_text, add_chapter etc.: dummy;
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.