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

	Name	Last modified	Size	Description
	Parent Directory		-
	CODE/	2012-02-10 14:01	-
	Index	1996-03-19 13:03	135
	ReadMe	1990-05-04 00:52	1.6K
	ltnotes	1990-05-04 00:52	535