Sat, 27 Dec 2003 21:02:14 +0100 | paulson | re-organized numeric lemmas | changeset | files |
Thu, 25 Dec 2003 23:18:04 +0100 | nipkow | Added trace msg | changeset | files |
Thu, 25 Dec 2003 22:48:32 +0100 | paulson | re-organized some hyperreal and real lemmas | changeset | files |