isabelle: File revisions

src/HOL/Decision_Procs/ex/Approximation_Ex.thy

Wed, 23 Sep 2009 13:17:17 +0200	hoelzl	correct variable order in approximate-method	file \| diff \| annotate
Tue, 30 Jun 2009 10:59:02 +0200	hoelzl	removed latex markup - there is no document generated from Decision_Procs/ex	file \| diff \| annotate
Mon, 29 Jun 2009 23:29:11 +0200	hoelzl	Implemented taylor series expansion for approximation	file \| diff \| annotate
Thu, 25 Jun 2009 18:12:40 +0200	hoelzl	Improved computation of bounds and implemented interval splitting for 'approximation'.	file \| diff \| annotate
Thu, 04 Jun 2009 17:55:47 +0200	hoelzl	Approximation: Implemented argument reduction for cosine. Sinus is now implemented in terms of cosine. Sqrt computes on the entire real numbers	file \| diff \| annotate
Wed, 03 Jun 2009 11:33:16 +0200	hoelzl	Removed usage of reference in reification	file \| diff \| annotate
Wed, 11 Mar 2009 13:53:51 +0100	hoelzl	Extended approximation boundaries by fractions and base-2 floating point numbers	file \| diff \| annotate
Wed, 11 Mar 2009 08:45:47 +0100	haftmann	moved Decision_Procs examples to Decision_Procs/ex	file \| diff \| annotate \| base

isabelle