src/HOL/Tools/cnf.ML
changeset 82898 89da4dcd1fa8
parent 81955 33616e13e172