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
     1 theory Real
     2 imports RComplete RealVector
     3 begin
     4 
     5 end