src/HOL/Real/RealInt.thy
Tue, 24 Aug 1999 11:54:13 +0200 wenzelm Real/Real.thy main entry point;
Thu, 19 Aug 1999 18:36:41 +0200 paulson real literals using binary arithmetic
less more (0) tip