src/HOL/Metis_Examples/Sets.thy
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