/src/HOL/Hyperreal/
drwxr-xr-x [up]
-rw-r--r-- 2004-07-01 12:29 +0200 3133 EvenOdd.thy
-rw-r--r-- 2004-07-01 12:29 +0200 2193 Fact.ML
-rw-r--r-- 2004-07-01 12:29 +0200 290 Fact.thy
-rw-r--r-- 2004-07-01 12:29 +0200 19424 Filter.ML
-rw-r--r-- 2004-07-01 12:29 +0200 1373 Filter.thy
-rw-r--r-- 2004-07-01 12:29 +0200 8676 HLog.thy
-rw-r--r-- 2004-07-01 12:29 +0200 10415 HSeries.thy
-rw-r--r-- 2004-07-01 12:29 +0200 30200 HTranscendental.thy
-rw-r--r-- 2004-07-01 12:29 +0200 5918 HyperArith.thy
-rw-r--r-- 2004-07-01 12:29 +0200 28788 HyperDef.thy
-rw-r--r-- 2004-07-01 12:29 +0200 30771 HyperNat.thy
-rw-r--r-- 2004-07-01 12:29 +0200 12956 HyperPow.thy
-rw-r--r-- 2004-07-01 12:29 +0200 349 Hyperreal.thy
-rw-r--r-- 2004-07-01 12:29 +0200 41831 Integration.ML
-rw-r--r-- 2004-07-01 12:29 +0200 2430 Integration.thy
-rw-r--r-- 2004-07-01 12:29 +0200 91848 Lim.thy
-rw-r--r-- 2004-07-01 12:29 +0200 5190 Log.thy
-rw-r--r-- 2004-07-01 12:29 +0200 2100 MacLaurin.thy
-rw-r--r-- 2004-07-01 12:29 +0200 25171 MacLaurin_lemmas.ML
-rw-r--r-- 2004-07-01 12:29 +0200 95816 NSA.thy
-rw-r--r-- 2004-07-01 12:29 +0200 22040 NatStar.thy
-rw-r--r-- 2004-07-01 12:29 +0200 6480 NthRoot.thy
-rw-r--r-- 2004-07-01 12:29 +0200 43045 Poly.thy
-rw-r--r-- 2004-07-01 12:29 +0200 51034 SEQ.ML
-rw-r--r-- 2004-07-01 12:29 +0200 2073 SEQ.thy
-rw-r--r-- 2004-07-01 12:29 +0200 21985 Series.thy
-rw-r--r-- 2004-07-01 12:29 +0200 20118 Star.thy
-rw-r--r-- 2004-07-01 12:29 +0200 115545 Transcendental.ML
-rw-r--r-- 2004-07-01 12:29 +0200 1409 Transcendental.thy
-rw-r--r-- 2004-07-01 12:29 +0200 2719 fuf.ML
-rw-r--r-- 2004-07-01 12:29 +0200 1884 hypreal_arith.ML