Index of /Software/XSB/packages/CDF/theoremprover

	Name	Last modified	Size	Description
	Parent Directory		-
	bench.P	2012-11-01 12:13	5.9K
	cur_tests.P	2012-11-01 12:13	12K
	gctest1.P	2012-11-01 12:13	204
	meta.P	2012-11-01 12:13	4.0K
	meta_io.P	2012-11-01 12:13	8.6K
	metaback.P	2012-11-01 12:13	19K
	metafront.P	2012-11-01 12:13	9.9K
	testing.P	2012-11-01 12:13	277
	testing_capi.P	2012-11-01 12:13	277
	tp_debug.df	2012-11-01 12:13	33
	tp_debug.h	2012-11-01 12:13	33
	tp_debug.none	2012-11-01 12:13	0
	tp_utils.P	2012-11-01 12:13	1.1K