src/HOL/Mirabelle/Mirabelle_Test.thy
2009-09-12 wenzelm 2009-09-12 standard headers and text sections;
2009-09-04 boehmes 2009-09-04 tuned