src/HOL/Real/Ferrante_Rackoff.thy
2007-05-10 haftmann 2007-05-10 cleaned up
2007-05-10 haftmann 2007-05-10 localized Min/Max
2006-09-20 huffman 2006-09-20 add header
2006-05-16 wenzelm 2006-05-16 added Ferrante and Rackoff Algorithm -- by Amine Chaieb;