Tue, 23 Dec 2003 17:41:52 +0100 | paulson | converting Hyperreal/NthRoot to Isar | file | diff | annotate |
Thu, 27 Nov 2003 10:47:55 +0100 | paulson | Removal of Hyperreal/ExtraThms2.ML, sending the material to the correct files. | file | diff | annotate |
Thu, 15 Nov 2001 16:12:49 +0100 | paulson | new theories from Jacques Fleuriot | file | diff | annotate |