src/Tools/Code/code_simp.ML
2011-07-01 wenzelm 2011-07-01 proper @{binding} antiquotations (relevant for formal references);
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2010-12-21 haftmann 2010-12-21 canonical handling of theory context argument
2010-12-17 wenzelm 2010-12-17 merged
2010-12-17 haftmann 2010-12-17 avoid slightly odd Conv.tap_thy
2010-12-17 wenzelm 2010-12-17 refer to regular structure Simplifier;
2010-12-16 haftmann 2010-12-16 more uniform naming
2010-12-15 haftmann 2010-12-15 simplified evaluation function names
2010-09-21 haftmann 2010-09-21 no_frees_* is subsumed by new framework mechanisms in Code_Preproc
2010-09-21 haftmann 2010-09-21 more conventional conversion signature
2010-09-17 haftmann 2010-09-17 refined static_eval_conv_simple; tuned comments
2010-09-16 haftmann 2010-09-16 separation of static and dynamic thy context
2010-08-26 wenzelm 2010-08-26 simplification/standardization of some theory data;
2010-08-23 haftmann 2010-08-23 use Code_Thingol.static_eval_conv_simple
2010-08-23 haftmann 2010-08-23 refined and unified naming convention for dynamic code evaluation techniques
2010-07-16 haftmann 2010-07-16 tuned interpunctation
2010-07-08 haftmann 2010-07-08 tuned titles
2010-06-18 haftmann 2010-06-18 code_simp: only succeed on real progress
2010-06-18 haftmann 2010-06-18 conclude simplification with default simpset
2010-06-17 haftmann 2010-06-17 more precise code
2010-06-17 haftmann 2010-06-17 added simp evaluator
2010-06-15 haftmann 2010-06-15 added code_simp infrastructure