src/HOL/Decision_Procs/ex/Approximation_Quickcheck_Ex.thy
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-04-11 paulson 2015-04-11 Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
2014-11-12 immler 2014-11-12 added quickcheck[approximation]