src/HOL/Tools/cnf.ML
2014-04-10 wenzelm 2014-04-10 tuned;
2014-02-01 wenzelm 2014-02-01 more standard file/module names;