src/Pure/Tools/nbe.ML
2007-01-04 haftmann 2007-01-04 fixed output
2006-12-07 wenzelm 2006-12-07 reorganized structure Tactic vs. MetaSimplifier;
2006-11-23 wenzelm 2006-11-23 prefer Proof.context over Context.generic;
2006-10-31 haftmann 2006-10-31 clarified make_term interface
2006-10-31 haftmann 2006-10-31 constructing proof
2006-10-20 haftmann 2006-10-20 cleanup
2006-10-12 wenzelm 2006-10-12 print_evaluated_term: Toplevel.context_of;
2006-10-10 haftmann 2006-10-10 generalized purge
2006-10-09 nipkow 2006-10-09 added pre/post-processor equations
2006-10-04 haftmann 2006-10-04 cleaned up some mess
2006-10-02 haftmann 2006-10-02 various code refinements
2006-09-21 wenzelm 2006-09-21 tuned oracle name;
2006-09-19 haftmann 2006-09-19 moved part of normalization oracle here
2006-07-25 haftmann 2006-07-25 improvements for lazy code generation
2006-07-19 wenzelm 2006-07-19 Sign.infer_types: Name.context;
2006-06-30 haftmann 2006-06-30 fixed stale theory bug
2006-06-29 nipkow 2006-06-29 new function norm_term
2006-06-09 nipkow 2006-06-09 renamed command
2006-06-06 nipkow 2006-06-06 added type inference at the end of normalization
2006-04-06 haftmann 2006-04-06 added definitional code generator module: codegen_theorems.ML
2006-03-03 nipkow 2006-03-03 minor changes
2006-03-03 haftmann 2006-03-03 improvements for nbe
2006-03-01 haftmann 2006-03-01 refined representation of codegen intermediate language
2006-02-27 haftmann 2006-02-27 class package and codegen refinements
2006-02-27 nipkow 2006-02-27 added nbe, updated neb_*