src/HOL/Decision_Procs/approximation_generator.ML
2016-11-21 immler 2016-11-21 op powr for quickcheck[approximation] (amending 67792e4a5486)
2016-09-21 immler 2016-09-21 approximation: preprocessing for nat/int expressions
2016-09-21 immler 2016-09-21 approximation: rewrite for reduction to base expressions
2015-11-10 paulson 2015-11-10 Coercion "real" now has type nat => real only and is no longer overloaded. Type class "real_of" is gone. Many duplicate theorems removed.
2015-03-30 eberlm 2015-03-30 exposed approximation in ML
2015-03-06 wenzelm 2015-03-06 clarified context;
2015-03-06 wenzelm 2015-03-06 Thm.cterm_of and Thm.ctyp_of operate on local context;
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
2014-11-12 immler 2014-11-12 added quickcheck[approximation]