src/Pure/Isar/proof_context.ML
1999-09-22 ago improved output;
1999-09-21 ago export prems_of;
1999-09-07 ago read_def_termT: dummyT;
1999-09-06 ago removed thms_closure (unused);
1999-09-04 ago eliminated Syntax.binding;
1999-09-01 ago fix: common constraints;
1999-08-18 ago warn_vars;
1999-08-09 ago tuned strings_of_context;
1999-07-13 ago handle cgoal;
1999-07-12 ago added show_hyps flag;
1999-07-08 ago propp: 'concl' patterns;
1999-07-04 ago added transfer_used_names;
1999-07-01 ago have_thmss: more_ths;
1999-07-01 ago setmp Display.show_hyps false;
1999-06-28 ago tuned;
1999-06-28 ago tuned output: print_context replaced by strings_of_context;
1999-06-07 ago improved handling of assumptions;
1999-06-05 ago auto_bind_goal, auto_bind_facts;
1999-06-02 ago read_term/prop_pat: do not freeze;
1999-05-24 ago tuned print_context;
1999-05-01 ago renamed 'dummy' to 'dummy_pattern' (less dangerous);
1999-04-30 ago dummy patterns;
1999-04-27 ago verbose flag;
1999-01-12 ago eliminated tthm type and Attribute structure;
1998-11-29 ago fixed declatation of patterns and skolem;
1998-11-19 ago term_pat vs. prop_pat;
1998-11-17 ago have_tthms;
1998-11-16 ago renamed init_context to init;
1998-11-09 ago Proof context information.