2010-08-27 haftmann 2010-08-27 renamed class/constant eq to equal; tuned some instantiations
2010-08-11 haftmann 2010-08-11 moved instantiation target formally to class_target.ML
2010-04-16 wenzelm 2010-04-16 replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2010-03-20 wenzelm 2010-03-20 renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation;
2010-02-24 haftmann 2010-02-24 evaluation for abstypes
2010-02-22 haftmann 2010-02-22 proper distinction of code datatypes and abstypes
2009-12-07 haftmann 2009-12-07 split off evaluation mechanisms in separte module Code_Eval
2009-11-12 haftmann 2009-11-12 repaired broken code_const for term_of [String.literal]
2009-11-10 wenzelm 2009-11-10 modernized structure Theory_Target;
2009-11-06 bulwahn 2009-11-06 adding tracing function for evaluated code; annotated compilation in the predicate compiler
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-23 haftmann 2009-09-23 Code_Eval(uation)