src/HOL/Real/RealDef.thy
Thu, 01 Oct 1998 18:18:01 +0200 paulson Revised version with Abelian group simprocs
less more (0) tip