src/HOL/Decision_Procs/ferrante_rackoff.ML
2010-08-19 haftmann 2010-08-19 use antiquotations for remaining unqualified constants in HOL
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;