| Thu, 05 Mar 1998 10:47:27 +0100 | paulson | New theorem and simprules | file | diff | annotate |
| Tue, 03 Mar 1998 15:12:57 +0100 | paulson | New theorems | file | diff | annotate |
| Fri, 27 Feb 1998 11:06:28 +0100 | paulson | New vimage laws | file | diff | annotate |
| Tue, 24 Feb 1998 11:35:33 +0100 | paulson | New theory of the inverse image of a function | file | diff | annotate |