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