src/HOL/Real/Real.thy
author wenzelm
Tue May 16 13:01:22 2006 +0200 (2006-05-16)
changeset 19640 40ec89317425
parent 19023 5652a536b7e8
child 20505 1e223f64bd59
permissions -rw-r--r--
added Ferrante and Rackoff Algorithm -- by Amine Chaieb;
     1 
     2 (* $Id$ *)
     3 
     4 theory Real
     5 imports ContNotDenum Ferrante_Rackoff
     6 begin
     7 end