src/HOL/Tools/cnf_funcs.ML
changeset 21513 9e9fff87dc6c
parent 20547 796ae7fa1049
child 21576 8c11b1ce2f05