/src/HOL/Hyperreal/
drwxr-xr-x [up]
-rw-r--r-- 2006-04-10 16:00 +0200 3140 EvenOdd.thy
-rw-r--r-- 2006-04-10 16:00 +0200 1947 Fact.thy
-rw-r--r-- 2006-04-10 16:00 +0200 14186 Filter.thy
-rw-r--r-- 2006-04-10 16:00 +0200 6648 HLog.thy
-rw-r--r-- 2006-04-10 16:00 +0200 9784 HSeries.thy
-rw-r--r-- 2006-04-10 16:00 +0200 28123 HTranscendental.thy
-rw-r--r-- 2006-04-10 16:00 +0200 4186 HyperArith.thy
-rw-r--r-- 2006-04-10 16:00 +0200 12591 HyperDef.thy
-rw-r--r-- 2006-04-10 16:00 +0200 16472 HyperNat.thy
-rw-r--r-- 2006-04-10 16:00 +0200 10266 HyperPow.thy
-rw-r--r-- 2006-04-10 16:00 +0200 353 Hyperreal.thy
-rw-r--r-- 2006-04-10 16:00 +0200 33860 Integration.thy
-rw-r--r-- 2006-04-10 16:00 +0200 102092 Lim.thy
-rwxr-xr-x 2006-04-10 16:00 +0200 14294 Ln.thy
-rw-r--r-- 2006-04-10 16:00 +0200 9445 Log.thy
-rw-r--r-- 2006-04-10 16:00 +0200 21046 MacLaurin.thy
-rw-r--r-- 2006-04-10 16:00 +0200 92069 NSA.thy
-rw-r--r-- 2006-04-10 16:00 +0200 9767 NatStar.thy
-rw-r--r-- 2006-04-10 16:00 +0200 6571 NthRoot.thy
-rw-r--r-- 2006-04-10 16:00 +0200 42579 Poly.thy
-rw-r--r-- 2006-04-10 16:00 +0200 48274 SEQ.thy
-rw-r--r-- 2006-04-10 16:00 +0200 18209 Series.thy
-rw-r--r-- 2006-04-10 16:00 +0200 14886 Star.thy
-rw-r--r-- 2006-04-10 16:00 +0200 13497 StarClasses.thy
-rw-r--r-- 2006-04-10 16:00 +0200 13306 StarDef.thy
-rw-r--r-- 2006-04-10 16:00 +0200 5311 Taylor.thy
-rw-r--r-- 2006-04-10 16:00 +0200 105961 Transcendental.thy
-rw-r--r-- 2006-04-10 16:00 +0200 2717 fuf.ML
-rw-r--r-- 2006-04-10 16:00 +0200 1331 hypreal_arith.ML
-rw-r--r-- 2006-04-10 16:00 +0200 4156 transfer.ML