src/HOL/ex/ApproximationEx.thy
2009-02-26 wenzelm 2009-02-26 standard headers; eliminated non-ASCII chars, which are fragile in the age of unicode;
2009-02-05 hoelzl 2009-02-05 Add approximation method