src/HOL/Decision_Procs/Approximation.thy
Wed, 11 Mar 2009 10:58:18 +0100 hoelzl Updated paths in Decision_Procs comments and NEWS
Tue, 10 Mar 2009 16:36:22 +0100 hoelzl Fixed type error which appeared when Approximation bounds where specified as floating point numbers
Wed, 04 Mar 2009 17:12:23 -0800 huffman declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
Thu, 26 Feb 2009 20:56:59 +0100 wenzelm standard headers;
Fri, 06 Feb 2009 15:15:32 +0100 haftmann session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
less more (0) tip