src/HOL/ex/CodegenSML_Test.thy
2008-12-11 nipkow 2008-12-11 Testfile for Stefan's code generator