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 |