/src/HOL/Hyperreal/
drwxr-xr-x [up]
-rw-r--r-- 2006-08-30 03:19 +0200 2464 EvenOdd.thy
-rw-r--r-- 2006-08-30 03:19 +0200 1977 Fact.thy
-rw-r--r-- 2006-08-30 03:19 +0200 14275 Filter.thy
-rw-r--r-- 2006-08-30 03:19 +0200 5175 HLog.thy
-rw-r--r-- 2006-08-30 03:19 +0200 8083 HSeries.thy
-rw-r--r-- 2006-08-30 03:19 +0200 22632 HTranscendental.thy
-rw-r--r-- 2006-08-30 03:19 +0200 3794 HyperArith.thy
-rw-r--r-- 2006-08-30 03:19 +0200 9883 HyperDef.thy
-rw-r--r-- 2006-08-30 03:19 +0200 12913 HyperNat.thy
-rw-r--r-- 2006-08-30 03:19 +0200 7831 HyperPow.thy
-rw-r--r-- 2006-08-30 03:19 +0200 353 Hyperreal.thy
-rw-r--r-- 2006-08-30 03:19 +0200 33757 Integration.thy
-rw-r--r-- 2006-08-30 03:19 +0200 94431 Lim.thy
-rwxr-xr-x 2006-08-30 03:19 +0200 14289 Ln.thy
-rw-r--r-- 2006-08-30 03:19 +0200 8208 Log.thy
-rw-r--r-- 2006-08-30 03:19 +0200 21120 MacLaurin.thy
-rw-r--r-- 2006-08-30 03:19 +0200 75795 NSA.thy
-rw-r--r-- 2006-08-30 03:19 +0200 8118 NatStar.thy
-rw-r--r-- 2006-08-30 03:19 +0200 6141 NthRoot.thy
-rw-r--r-- 2006-08-30 03:19 +0200 36613 Poly.thy
-rw-r--r-- 2006-08-30 03:19 +0200 42730 SEQ.thy
-rw-r--r-- 2006-08-30 03:19 +0200 16050 Series.thy
-rw-r--r-- 2006-08-30 03:19 +0200 12135 Star.thy
-rw-r--r-- 2006-08-30 03:19 +0200 13497 StarClasses.thy
-rw-r--r-- 2006-08-30 03:19 +0200 13252 StarDef.thy
-rw-r--r-- 2006-08-30 03:19 +0200 5311 Taylor.thy
-rw-r--r-- 2006-08-30 03:19 +0200 93401 Transcendental.thy
-rw-r--r-- 2006-08-30 03:19 +0200 2712 fuf.ML
-rw-r--r-- 2006-08-30 03:19 +0200 1493 hypreal_arith.ML
-rw-r--r-- 2006-08-30 03:19 +0200 4258 transfer.ML