This page may now be found at
www.PaulTaylor.EU/stable/Proofs+Types.html
to which you should be redirected in 3 seconds.

Paul Taylor, 1 August 2007.