| Tue, 05 Mar 1996 17:29:58 +0100 | paulson | Changed HOL to ZF in title; added address | file | diff | annotate |
| Tue, 05 Mar 1996 16:27:01 +0100 | paulson | Put quotes around URLs in links | file | diff | annotate |
| Tue, 27 Feb 1996 19:08:36 +0100 | nipkow | Added documentation | file | diff | annotate |