The material in this directory (with the exception of util.xref) is
copyright 1988 by 
	Dr C. H. Lindsey
	Dept. of Computer Science
	University of Manchester
	MANCHESTER M13 9PL
	United Kingdom.

tel.	061-275 6120
uucp	chl@ux.cs.man.ac.uk