Workshop on-line proceedings -- correction

The following web page for the on-line proceedings of the Durham
Workshop is now working.  There was a problem for some people to
access it, which should now be corrected.  We are sorry for those who
could not access the page.

Zhaohui Luo.


The on-line proceedings of the following workshop held at Durham, UK

		     TYPES Working Group Workshop on
	Subtyping, inheritance and modular development of proofs 

is now available at the following home page (the original home page
for the workshop):


>From the same page you can also obtain the addresses of the attendees,
abstracts of the talks, and other relevant details of the workshop.

Alex Jones, Zhaohui Luo, Sergei Soloviev 
(Local organisers)