src/HOL/Predicate_Compile_Examples/Lambda_Example.thy
changeset 67003 49850a679c2c
parent 66453 cc19f7ca2ed6
child 69597 ff784d5a5bfb