src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy
changeset 62378 85ed00c1fe7c
parent 62121 c8a93680b80d
child 63167 0909deb8059b