src/HOL/Real/ferrante_rackoff.ML
Wed, 06 Sep 2006 13:48:02 +0200 haftmann got rid of Numeral.bin type
Thu, 08 Jun 2006 14:08:43 +0200 chaieb Splitting order changed.
Tue, 16 May 2006 13:01:22 +0200 wenzelm added Ferrante and Rackoff Algorithm -- by Amine Chaieb;
less more (0) tip