Workshop on-line proceedings

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)