src/HOL/Metis_Examples/Sets.thy
2014-06-12 blanchet 2014-06-12 renamed Sledgehammer options
2014-01-30 blanchet 2014-01-30 renamed Sledgehammer options for symmetry between positive and negative versions
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-02-14 smolkas 2013-02-14 renamed sledgehammer_shrink to sledgehammer_compress
2013-01-03 blanchet 2013-01-03 use new skolemizer for reconstructing skolemization steps in Isar proofs (because the old skolemizer messes up the order of the Skolem arguments)
2012-11-06 blanchet 2012-11-06 renamed Sledgehammer option
2012-10-18 blanchet 2012-10-18 renamed Isar-proof related options + changed semantics of Isar shrinking
2012-05-31 huffman 2012-05-31 definition less_int_def has changed, use 'less_le' instead
2012-01-02 blanchet 2012-01-02 ported "Sets" example to "set" type constructor
2011-12-24 haftmann 2011-12-24 commented out examples which choke on strict set/pred distinction
2011-06-06 blanchet 2011-06-06 tuned Metis examples