src/HOL/Decision_Procs/ferrante_rackoff_data.ML
2014-02-27 wenzelm 2014-02-27 tuned whitespace; modernized theory setup;
2014-02-15 wenzelm 2014-02-15 removed dead code; tuned;
2010-07-08 haftmann 2010-07-08 tuned titles
2010-05-25 wenzelm 2010-05-25 moved ML files where they are actually used; more precise dependencies;