src/Pure/Isar/element.ML
2006-10-14 wenzelm 2006-10-14 Attrib.pretty_attrib;
2006-10-07 wenzelm 2006-10-07 replaced generalize_facts by full export_(standard_)facts;
2006-09-15 wenzelm 2006-09-15 renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
2006-08-02 wenzelm 2006-08-02 removed obsolete Drule.frees/vars_of etc.; tuned;
2006-07-30 wenzelm 2006-07-30 added generalize_facts; tuned;
2006-07-27 wenzelm 2006-07-27 Assumption.assume; moved Goal.norm_hhf(_protect) to meta_simplifier.ML (pervasive);
2006-07-26 wenzelm 2006-07-26 Variable.import(T): result includes fixed types/terms;
2006-07-18 wenzelm 2006-07-18 print_statement: tuned Variable operations;
2006-07-11 ballarin 2006-07-11 New function transfer_witness lifting Thm.transfer to witnesses.
2006-07-08 wenzelm 2006-07-08 prove_witness: context;
2006-07-04 wenzelm 2006-07-04 instantiate_tfrees: Thm.generalize;
2006-06-20 ballarin 2006-06-20 Restructured locales with predicates: import is now an interpretation. New method intro_locales.
2006-06-15 wenzelm 2006-06-15 ProofContext: moved variable operations to struct Variable;
2006-06-12 wenzelm 2006-06-12 tuned;
2006-06-11 wenzelm 2006-06-11 added satisfy_ctxt;
2006-06-07 wenzelm 2006-06-07 added facts_of; tuned interfaces;
2006-06-05 wenzelm 2006-06-05 added params_of, prems_of; added type witness (from locale.ML); misc cleanup;
2006-05-26 wenzelm 2006-05-26 pretty: do not exterm thm names;
2006-05-07 wenzelm 2006-05-07 removed 'concl is' patterns;
2006-04-27 wenzelm 2006-04-27 tuned basic list operators (flat, maps, map_filter);
2006-04-25 wenzelm 2006-04-25 tuned;
2006-03-21 wenzelm 2006-03-21 avoid polymorphic equality;
2006-03-14 wenzelm 2006-03-14 added pretty_statement;
2006-03-14 wenzelm 2006-03-14 added pretty_stmt; tuned;
2006-02-02 wenzelm 2006-02-02 always use Attrib.src;
2006-02-02 wenzelm 2006-02-02 added concluding statements: Shows/Obtains;
2006-01-13 wenzelm 2006-01-13 uniform handling of fixes; mixfix: added Structure;
2006-01-07 wenzelm 2006-01-07 pretty_locale: backquote notes;
2005-11-09 wenzelm 2005-11-09 Explicit data structures for some Isar language elements.