/src/HOL/Hyperreal/
drwxr-xr-x [up]
-rw-r--r-- 2006-12-10 07:12 +0100 69512 Deriv.thy
-rw-r--r-- 2006-12-10 07:12 +0100 2464 EvenOdd.thy
-rw-r--r-- 2006-12-10 07:12 +0100 1980 Fact.thy
-rw-r--r-- 2006-12-10 07:12 +0100 14288 Filter.thy
-rw-r--r-- 2006-12-10 07:12 +0100 5198 HLog.thy
-rw-r--r-- 2006-12-10 07:12 +0100 7980 HSeries.thy
-rw-r--r-- 2006-12-10 07:12 +0100 22642 HTranscendental.thy
-rw-r--r-- 2006-12-10 07:12 +0100 1911 HyperArith.thy
-rw-r--r-- 2006-12-10 07:12 +0100 11843 HyperDef.thy
-rw-r--r-- 2006-12-10 07:12 +0100 14446 HyperNat.thy
-rw-r--r-- 2006-12-10 07:12 +0100 7864 HyperPow.thy
-rw-r--r-- 2006-12-10 07:12 +0100 353 Hyperreal.thy
-rw-r--r-- 2006-12-10 07:12 +0100 33892 Integration.thy
-rw-r--r-- 2006-12-10 07:12 +0100 39221 Lim.thy
-rwxr-xr-x 2006-12-10 07:12 +0100 14266 Ln.thy
-rw-r--r-- 2006-12-10 07:12 +0100 8231 Log.thy
-rw-r--r-- 2006-12-10 07:12 +0100 21164 MacLaurin.thy
-rw-r--r-- 2006-12-10 07:12 +0100 84137 NSA.thy
-rw-r--r-- 2006-12-10 07:12 +0100 8107 NatStar.thy
-rw-r--r-- 2006-12-10 07:12 +0100 13589 NthRoot.thy
-rw-r--r-- 2006-12-10 07:12 +0100 36716 Poly.thy
-rw-r--r-- 2006-12-10 07:12 +0100 42579 SEQ.thy
-rw-r--r-- 2006-12-10 07:12 +0100 19163 Series.thy
-rw-r--r-- 2006-12-10 07:12 +0100 11223 Star.thy
-rw-r--r-- 2006-12-10 07:12 +0100 16604 StarClasses.thy
-rw-r--r-- 2006-12-10 07:12 +0100 13953 StarDef.thy
-rw-r--r-- 2006-12-10 07:12 +0100 5311 Taylor.thy
-rw-r--r-- 2006-12-10 07:12 +0100 87953 Transcendental.thy
-rw-r--r-- 2006-12-10 07:12 +0100 2712 fuf.ML
-rw-r--r-- 2006-12-10 07:12 +0100 1493 hypreal_arith.ML
-rw-r--r-- 2006-12-10 07:12 +0100 4203 transfer.ML