src/HOL/Decision_Procs/approximation.ML
2014-05-09 haftmann 2014-05-09 prefer separate command for approximation
2014-05-01 haftmann 2014-05-01 separate ML module