src/HOL/Real.thy
author haftmann
Wed, 10 Feb 2010 14:12:02 +0100
changeset 35090 88cc65ae046e
parent 35066 894e82be8d05
child 36899 bcd6fce5bf06
permissions -rw-r--r--
moved lemma field_le_epsilon from Real.thy to Fields.thy

theory Real
imports RComplete RealVector
begin

end