src/HOL/Tools/Predicate_Compile/predicate_compile_pred.ML
changeset 57978 8f4a332500e4
parent 56239 17df7145a871
child 58963 26bf09b95dda