src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy
2010-03-29 bulwahn 2010-03-29 adding skip_proof in the examples because proof procedure cannot handle alternative compilations yet
2010-03-29 bulwahn 2010-03-29 adding specialisation examples of the predicate compiler