| Mon, 22 Dec 2003 15:42:21 +0100 | paulson | downgrading abel_cancel | file | diff | annotate |
| Mon, 22 Dec 2003 14:12:54 +0100 | paulson | simplifying | file | diff | annotate |
| Mon, 22 Dec 2003 12:50:22 +0100 | paulson | moving HyperArith0.ML to other theories | file | diff | annotate |
| Fri, 19 Dec 2003 17:13:28 +0100 | paulson | tidying first part of HyperArith0.ML, using generic lemmas | file | diff | annotate |
| Fri, 19 Dec 2003 10:38:39 +0100 | paulson | type hypreal is an ordered field | file | diff | annotate |
| Wed, 17 Dec 2003 16:23:52 +0100 | paulson | converted Hyperreal/HyperDef to Isar script | file | diff | annotate |
| Tue, 16 Dec 2003 15:38:09 +0100 | paulson | converted Hyperreal/HyperOrd to new-style theory | file | diff | annotate |
| Sat, 30 Dec 2000 22:03:47 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |