/src/HOL/Hyperreal/
drwxr-xr-x [up]
-rw-r--r-- 2007-05-14 18:03 +0200 52111 Deriv.thy
-rw-r--r-- 2007-05-14 18:03 +0200 2464 EvenOdd.thy
-rw-r--r-- 2007-05-14 18:03 +0200 1980 Fact.thy
-rw-r--r-- 2007-05-14 18:03 +0200 14532 Filter.thy
-rw-r--r-- 2007-05-14 18:03 +0200 17490 FrechetDeriv.thy
-rw-r--r-- 2007-05-14 18:03 +0200 18213 HDeriv.thy
-rw-r--r-- 2007-05-14 18:03 +0200 13960 HLim.thy
-rw-r--r-- 2007-05-14 18:03 +0200 5198 HLog.thy
-rw-r--r-- 2007-05-14 18:03 +0200 20069 HSEQ.thy
-rw-r--r-- 2007-05-14 18:03 +0200 7198 HSeries.thy
-rw-r--r-- 2007-05-14 18:03 +0200 22321 HTranscendental.thy
-rw-r--r-- 2007-05-14 18:03 +0200 18031 HyperDef.thy
-rw-r--r-- 2007-05-14 18:03 +0200 14241 HyperNat.thy
-rw-r--r-- 2007-05-14 18:03 +0200 353 Hyperreal.thy
-rw-r--r-- 2007-05-14 18:03 +0200 33892 Integration.thy
-rw-r--r-- 2007-05-14 18:03 +0200 23116 Lim.thy
-rwxr-xr-x 2007-05-14 18:03 +0200 14206 Ln.thy
-rw-r--r-- 2007-05-14 18:03 +0200 8231 Log.thy
-rw-r--r-- 2007-05-14 18:03 +0200 21170 MacLaurin.thy
-rw-r--r-- 2007-05-14 18:03 +0200 83407 NSA.thy
-rw-r--r-- 2007-05-14 18:03 +0200 7597 NatStar.thy
-rw-r--r-- 2007-05-14 18:03 +0200 20156 NthRoot.thy
-rw-r--r-- 2007-05-14 18:03 +0200 36738 Poly.thy
-rw-r--r-- 2007-05-14 18:03 +0200 38626 SEQ.thy
-rw-r--r-- 2007-05-14 18:03 +0200 19145 Series.thy
-rw-r--r-- 2007-05-14 18:03 +0200 11887 Star.thy
-rw-r--r-- 2007-05-14 18:03 +0200 15949 StarClasses.thy
-rw-r--r-- 2007-05-14 18:03 +0200 15843 StarDef.thy
-rw-r--r-- 2007-05-14 18:03 +0200 5311 Taylor.thy
-rw-r--r-- 2007-05-14 18:03 +0200 82052 Transcendental.thy
-rw-r--r-- 2007-05-14 18:03 +0200 1493 hypreal_arith.ML
-rw-r--r-- 2007-05-14 18:03 +0200 4152 transfer.ML