src/Pure/Isar/element.ML
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.