src/HOL/Predicate_Compile.thy
changeset 41229 d797baa3d57c
parent 40052 ea46574ca815
child 45450 dc2236b19a3d