src/HOL/ex/ApproximationEx.thy
Tue, 10 Mar 2009 16:36:22 +0100 hoelzl Fixed type error which appeared when Approximation bounds where specified as floating point numbers
Thu, 26 Feb 2009 20:56:59 +0100 wenzelm standard headers;
Thu, 05 Feb 2009 11:49:15 +0100 hoelzl Add approximation method
less more (0) tip