src/Pure/Tools/invoke.ML
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-09-27 wenzelm 2007-09-27 proper handling of chained facts;
2007-09-24 wenzelm 2007-09-24 eliminated ProofContext.read_termTs;
2007-09-23 wenzelm 2007-09-23 TypeInfer.constrain: canonical argument order;
2007-08-30 wenzelm 2007-08-30 replaced ProofContext.infer_types by general Syntax.check_terms;
2007-06-13 wenzelm 2007-06-13 Method.Basic: include position;
2007-04-23 wenzelm 2007-04-23 simplified ProofContext.read_termTs;
2007-04-13 ballarin 2007-04-13 Experimental interpretation code for definitions.
2007-04-03 wenzelm 2007-04-03 renamed Variable.import to import_thms (avoid clash with Alice keywords);
2007-01-19 wenzelm 2007-01-19 moved parts of OuterParse to SpecParse;
2006-11-29 wenzelm 2006-11-29 Element.generalize_facts;
2006-11-23 wenzelm 2006-11-23 replaced Args.map_values/Element.map_ctxt_values by general morphism application;
2006-11-21 wenzelm 2006-11-21 notes: proper kind;
2006-10-07 wenzelm 2006-10-07 Element.export_facts;
2006-08-02 wenzelm 2006-08-02 simplified Proof.end_block;
2006-07-30 wenzelm 2006-07-30 proper Element.generalize_facts;
2006-07-26 wenzelm 2006-07-26 Variable.import(T): result includes fixed types/terms;
2006-06-17 wenzelm 2006-06-17 ProofContext.exports: simultaneous facts;
2006-06-15 wenzelm 2006-06-15 ProofContext: moved variable operations to struct Variable;
2006-06-12 wenzelm 2006-06-12 tuned;
2006-06-12 haftmann 2006-06-12 fixed smlnj incompat.
2006-06-11 wenzelm 2006-06-11 actually invoke result elements;
2006-06-07 wenzelm 2006-06-07 Schematic invocation of locale expression in proof context.