src/HOL/Metis_Examples/Sets.thy
2011-06-06 blanchet 2011-06-06 tuned Metis examples