src/HOL/Predicate_Compile_Examples/Examples.thy
2010-09-23 bulwahn 2010-09-23 splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests