/src/HOL/Hyperreal/
drwxr-xr-x [up]
-rw-r--r-- 2007-10-04 20:29 +0200 53271 Deriv.thy
-rw-r--r-- 2007-10-04 20:29 +0200 2464 EvenOdd.thy
-rw-r--r-- 2007-10-04 20:29 +0200 1980 Fact.thy
-rw-r--r-- 2007-10-04 20:29 +0200 14650 Filter.thy
-rw-r--r-- 2007-10-04 20:29 +0200 17473 FrechetDeriv.thy
-rw-r--r-- 2007-10-04 20:29 +0200 18199 HDeriv.thy
-rw-r--r-- 2007-10-04 20:29 +0200 13895 HLim.thy
-rw-r--r-- 2007-10-04 20:29 +0200 5198 HLog.thy
-rw-r--r-- 2007-10-04 20:29 +0200 20069 HSEQ.thy
-rw-r--r-- 2007-10-04 20:29 +0200 7198 HSeries.thy
-rw-r--r-- 2007-10-04 20:29 +0200 22323 HTranscendental.thy
-rw-r--r-- 2007-10-04 20:29 +0200 18044 HyperDef.thy
-rw-r--r-- 2007-10-04 20:29 +0200 14241 HyperNat.thy
-rw-r--r-- 2007-10-04 20:29 +0200 368 Hyperreal.thy
-rw-r--r-- 2007-10-04 20:29 +0200 33614 Integration.thy
-rw-r--r-- 2007-10-04 20:29 +0200 25741 Lim.thy
-rwxr-xr-x 2007-10-04 20:29 +0200 13289 Ln.thy
-rw-r--r-- 2007-10-04 20:29 +0200 8231 Log.thy
-rw-r--r-- 2007-10-04 20:29 +0200 21205 MacLaurin.thy
-rw-r--r-- 2007-10-04 20:29 +0200 83656 NSA.thy
-rw-r--r-- 2007-10-04 20:29 +0200 7597 NatStar.thy
-rw-r--r-- 2007-10-04 20:29 +0200 23705 NthRoot.thy
-rw-r--r-- 2007-10-04 20:29 +0200 37958 Poly.thy
-rw-r--r-- 2007-10-04 20:29 +0200 38020 SEQ.thy
-rw-r--r-- 2007-10-04 20:29 +0200 24612 Series.thy
-rw-r--r-- 2007-10-04 20:29 +0200 11887 Star.thy
-rw-r--r-- 2007-10-04 20:29 +0200 16341 StarClasses.thy
-rw-r--r-- 2007-10-04 20:29 +0200 15843 StarDef.thy
-rw-r--r-- 2007-10-04 20:29 +0200 5317 Taylor.thy
-rw-r--r-- 2007-10-04 20:29 +0200 80372 Transcendental.thy
-rw-r--r-- 2007-10-04 20:29 +0200 1459 hypreal_arith.ML
-rw-r--r-- 2007-10-04 20:29 +0200 4198 transfer.ML