src/HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML
2010-09-14 blanchet 2010-09-14 generalize proof reconstruction code; first step towards support for nonnumeric formula names, needed for E 1.2
2010-09-13 blanchet 2010-09-13 merged
2010-09-11 blanchet 2010-09-11 tuning
2010-09-12 wenzelm 2010-09-12 eliminated aliases of Type.constraint;
2010-09-05 wenzelm 2010-09-05 turned show_sorts/show_types into proper configuration options;
2010-09-03 wenzelm 2010-09-03 turned show_no_free_types into proper configuration option show_free_types, with flipped polarity;
2010-09-02 blanchet 2010-09-02 fix trivial "x = x" fact detection
2010-08-31 blanchet 2010-08-31 finished renaming
2010-08-31 blanchet 2010-08-31 shorten a few file names