src/HOL/Decision_Procs/langford_data.ML
2014-02-27 wenzelm 2014-02-27 tuned whitespace; modernized theory setup;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2010-12-17 wenzelm 2010-12-17 clarified exports of structure Simplifier;
2010-05-25 wenzelm 2010-05-25 moved ML files where they are actually used; more precise dependencies;