src/HOL/Predicate_Compile_Examples/Examples.thy
changeset 47884 21c42b095c84
parent 45970 b6d0cff57d96
child 51144 0ede9e2266a8