| Tue, 10 Feb 2004 12:17:04 +0100 | updated links to the old ftp site | file | diff | annotate |
| Mon, 12 Jan 2004 16:51:45 +0100 | Added lemmas to Ring_and_Field with slightly modified simplification rules | file | diff | annotate |
| Tue, 02 Dec 2003 11:48:15 +0100 | More re-organising of numerical theorems | file | diff | annotate |
| Wed, 15 Jan 2003 16:43:12 +0100 | auto-update | file | diff | annotate |
| Fri, 13 Dec 2002 16:48:20 +0100 | integer induction rules | file | diff | annotate |
| Thu, 10 Jan 2002 13:25:48 +0100 | stylistic changes | file | diff | annotate |
| Mon, 07 Jan 2002 23:56:25 +0100 | updated; | file | diff | annotate |
| Mon, 07 Jan 2002 18:58:45 +0100 | updated; | file | diff | annotate |
| Sat, 05 Jan 2002 01:14:46 +0100 | fixed \index; | file | diff | annotate |
| Fri, 21 Dec 2001 20:58:25 +0100 | updated; | file | diff | annotate |
| Thu, 20 Dec 2001 21:14:59 +0100 | generated text; | file | diff | annotate |