| Mon, 06 Aug 2001 13:12:06 +0200 | paulson | three new theorems | changeset | files |
| Mon, 06 Aug 2001 12:46:21 +0200 | paulson | removed the warning from [iff] | changeset | files |
| Mon, 06 Aug 2001 12:42:43 +0200 | paulson | removed an unsuitable default simprule | changeset | files |
| Mon, 06 Aug 2001 12:41:21 +0200 | paulson | tidying and moving the theorem "choice" | changeset | files |
| Mon, 06 Aug 2001 12:40:39 +0200 | paulson | new result comp_surj | changeset | files |
| Fri, 03 Aug 2001 18:04:55 +0200 | paulson | numerous stylistic changes and indexing | changeset | files |
| Thu, 26 Jul 2001 18:23:38 +0200 | paulson | additional revisions to chapters 1, 2 | changeset | files |
| Thu, 26 Jul 2001 16:43:02 +0200 | paulson | revisions and indexing | changeset | files |