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