Index of /pub/automated.reasoning/shorter

	Name	Last modified	Size	Description
	Parent Directory		-
	paper.text.roff	1992-12-18 14:29	160K
	paper.apps.tex	1992-12-18 14:29	379K
	README	1992-12-18 14:29	1.7K