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