Index of /logic-TPTP-debian/debian

	Name	Last modified	Size	Description
	Parent Directory		-
	rules	2010-08-18 13:25	325
	copyright	2010-06-10 13:06	34K
	control	2010-06-17 11:21	4.0K
	compat	2010-06-10 13:06	1
	changelog	2010-08-18 13:19	409