| Tue, 11 May 2004 20:11:08 +0200 | changes made due to new Ring_and_Field theory | file | diff | annotate |
| Fri, 19 Mar 2004 10:44:20 +0100 | stylistic tweaks | file | diff | annotate |
| Wed, 10 Mar 2004 10:34:56 +0100 | new thm | file | diff | annotate |
| Mon, 08 Mar 2004 11:12:06 +0100 | generic theorems about exponentials; general tidying up | file | diff | annotate |
| Fri, 05 Mar 2004 15:19:55 +0100 | some new results | file | diff | annotate |
| Thu, 04 Mar 2004 12:06:07 +0100 | new material from Avigad, and simplified treatment of division by 0 | file | diff | annotate |