src/HOL/Real/Ferrante_Rackoff.thy
Tue, 16 May 2006 13:01:22 +0200 wenzelm added Ferrante and Rackoff Algorithm -- by Amine Chaieb;
less more (0) tip