| Wed, 19 Jul 2000 12:33:19 +0200 | paulson | changed / to // for quotienting; general tidying | file | diff | annotate |
| Wed, 07 Jun 2000 17:14:58 +0200 | paulson | replacing 0hr by (0::hypreal) | file | diff | annotate |
| Thu, 01 Jun 2000 11:22:27 +0200 | fleuriot | Updated files to remove 0r and 1r from theorems in descendant theories | file | diff | annotate |
| Thu, 19 Aug 1999 18:36:41 +0200 | paulson | real literals using binary arithmetic | file | diff | annotate |
| Mon, 16 Aug 1999 18:41:06 +0200 | paulson | new theory Real/Hyperreal/HyperDef and file fuf.ML | file | diff | annotate |