/src/HOL/Real/
drwxr-xr-x [up]
drwxr-xr-x Hyperreal
-rw-r--r-- 1998-12-07 18:26 +0100 2601 Lubs.ML
-rw-r--r-- 1998-12-07 18:26 +0100 856 Lubs.thy
-rw-r--r-- 1998-12-07 18:26 +0100 22353 PNat.ML
-rw-r--r-- 1998-12-07 18:26 +0100 905 PNat.thy
-rw-r--r-- 1998-12-07 18:26 +0100 29317 PRat.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1138 PRat.thy
-rw-r--r-- 1998-12-07 18:26 +0100 48295 PReal.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1251 PReal.thy
-rw-r--r-- 1998-12-07 18:26 +0100 7708 RComplete.ML
-rw-r--r-- 1998-12-07 18:26 +0100 236 RComplete.thy
-rw-r--r-- 1998-12-07 18:26 +0100 1004 README.html
-rw-r--r-- 1998-12-07 18:26 +0100 477 ROOT.ML
-rw-r--r-- 1998-12-07 18:26 +0100 17822 Real.ML
-rw-r--r-- 1998-12-07 18:26 +0100 357 Real.thy
-rw-r--r-- 1998-12-07 18:26 +0100 8502 RealAbs.ML
-rw-r--r-- 1998-12-07 18:26 +0100 280 RealAbs.thy
-rw-r--r-- 1998-12-07 18:26 +0100 35790 RealDef.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1697 RealDef.thy
-rw-r--r-- 1998-12-07 18:26 +0100 2035 simproc.ML