src/Tools/coherent.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-28 wenzelm 2009-09-28 misc tuning and modernization;
2009-07-26 wenzelm 2009-07-26 Variable.focus: named parameters;
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2009-07-17 wenzelm 2009-07-17 tuned/modernized Envir.subst_XXX;
2009-06-29 berghofe 2009-06-29 Corrected handling of bound variables.
2009-05-25 wenzelm 2009-05-25 modernized method setup; tuned signature;
2009-03-16 wenzelm 2009-03-16 provide Simplifier.norm_hhf(_protect) as regular simplifier operation;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-02-28 wenzelm 2009-02-28 tuned message;
2009-02-28 wenzelm 2009-02-28 moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete;