src/HOL/Tools/Predicate_Compile/predicate_compile_pred.ML
changeset 44262 355d5438f5fb
parent 43324 2b47822868e4
child 46909 3c73a121a387