Index of /ftp/hvg/hol88/contrib/prooftree/doc

	Name	Last modified	Size	Description

	Parent Directory		-
	entries.tex	1992-12-04 12:51	20K
	prooftree.tex	1992-12-04 12:51	14K
	prooftree_doc.tex	1992-12-04 12:51	734

Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443