src/HOL/Real.thy
author haftmann
Wed Feb 10 14:12:02 2010 +0100 (2010-02-10)
changeset 35090 88cc65ae046e
parent 35066 894e82be8d05
child 36899 bcd6fce5bf06
permissions -rw-r--r--
moved lemma field_le_epsilon from Real.thy to Fields.thy
haftmann@28952
     1
theory Real
haftmann@29197
     2
imports RComplete RealVector
haftmann@28952
     3
begin
wenzelm@19640
     4
wenzelm@19640
     5
end