Index of /~tothl/gepitan/uci repository/logic-theorist/CODE/PROBS

	Name	Last modified	Size	Description
	Parent Directory		-
	Index	1996-03-19 13:03	124
	notes	1990-05-04 00:52	135
	chs4and5	1990-05-04 00:52	3.9K
	p2	1990-05-04 00:52	4.1K