Index of /logic-TPTP-debian/debian

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