This page may now be found at
www.cs.man.ac.uk/~pt/Practical_Foundations/html/s96.html
to which you should be redirected in 3 seconds.

Paul Taylor, Wed Oct 20 21:05:06 BST 2004