/src/HOL/Hyperreal/
drwxr-xr-x [up]
-rw-r--r-- 2006-09-24 03:38 +0200 2464 EvenOdd.thy
-rw-r--r-- 2006-09-24 03:38 +0200 1980 Fact.thy
-rw-r--r-- 2006-09-24 03:38 +0200 14275 Filter.thy
-rw-r--r-- 2006-09-24 03:38 +0200 5175 HLog.thy
-rw-r--r-- 2006-09-24 03:38 +0200 8107 HSeries.thy
-rw-r--r-- 2006-09-24 03:38 +0200 22602 HTranscendental.thy
-rw-r--r-- 2006-09-24 03:38 +0200 3308 HyperArith.thy
-rw-r--r-- 2006-09-24 03:38 +0200 11253 HyperDef.thy
-rw-r--r-- 2006-09-24 03:38 +0200 12712 HyperNat.thy
-rw-r--r-- 2006-09-24 03:38 +0200 7889 HyperPow.thy
-rw-r--r-- 2006-09-24 03:38 +0200 353 Hyperreal.thy
-rw-r--r-- 2006-09-24 03:38 +0200 33749 Integration.thy
-rw-r--r-- 2006-09-24 03:38 +0200 94209 Lim.thy
-rwxr-xr-x 2006-09-24 03:38 +0200 14246 Ln.thy
-rw-r--r-- 2006-09-24 03:38 +0200 8208 Log.thy
-rw-r--r-- 2006-09-24 03:38 +0200 21120 MacLaurin.thy
-rw-r--r-- 2006-09-24 03:38 +0200 82930 NSA.thy
-rw-r--r-- 2006-09-24 03:38 +0200 8118 NatStar.thy
-rw-r--r-- 2006-09-24 03:38 +0200 13569 NthRoot.thy
-rw-r--r-- 2006-09-24 03:38 +0200 36613 Poly.thy
-rw-r--r-- 2006-09-24 03:38 +0200 43432 SEQ.thy
-rw-r--r-- 2006-09-24 03:38 +0200 16031 Series.thy
-rw-r--r-- 2006-09-24 03:38 +0200 12035 Star.thy
-rw-r--r-- 2006-09-24 03:38 +0200 13343 StarClasses.thy
-rw-r--r-- 2006-09-24 03:38 +0200 13252 StarDef.thy
-rw-r--r-- 2006-09-24 03:38 +0200 5311 Taylor.thy
-rw-r--r-- 2006-09-24 03:38 +0200 86121 Transcendental.thy
-rw-r--r-- 2006-09-24 03:38 +0200 2712 fuf.ML
-rw-r--r-- 2006-09-24 03:38 +0200 1493 hypreal_arith.ML
-rw-r--r-- 2006-09-24 03:38 +0200 4258 transfer.ML