src/HOL/Decision_Procs/Approximation.thy
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-03-11 hoelzl 2009-03-11 Extended approximation boundaries by fractions and base-2 floating point numbers
2009-03-11 hoelzl 2009-03-11 Updated paths in Decision_Procs comments and NEWS
2009-03-10 hoelzl 2009-03-10 Fixed type error which appeared when Approximation bounds where specified as floating point numbers
2009-03-04 huffman 2009-03-04 declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
2009-02-26 wenzelm 2009-02-26 standard headers; eliminated non-ASCII chars, which are fragile in the age of unicode;
2009-02-06 haftmann 2009-02-06 session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there