Index of /home/strac/test/IDV/files

	Name	Last modified	Size	Description
	Parent Directory		-
	00ordinal1.tptp	19-Jan-2009 15:34	491K
	Assumptions01.tptp	19-Jan-2009 15:34	817
	CSR014+1.Metis.tptp	19-Jan-2009 15:34	12K
	EP_test01.tptp	19-Jan-2009 15:34	50K
	Metis.01.tptp	19-Jan-2009 15:34	384
	Mptp_tree.tptp	28-Aug-2007 18:50	30M
	NUM001-1.tptp	19-Jan-2009 15:34	15K
	NUM022-1.tptp	19-Jan-2009 15:34	7.1K
	NUM299+1.tptp	19-Jan-2009 15:34	7.7K
	NUM313+1.tptp	19-Jan-2009 15:34	4.1K
	Otter---3.3.THM-Ref.s	19-Jan-2009 15:34	11K
	PUZ001+1.Metis.2.tptp	19-Jan-2009 15:34	6.9K
	PUZ001+1.Metis.tptp	19-Jan-2009 15:34	16K
	PUZ001+1.SPASS.tptp	19-Jan-2009 15:34	6.6K
	PUZ001+1.V.tptp	14-May-2007 02:11	9.6K
	PUZ001+1.V2.tptp	14-May-2007 02:11	9.6K
	PUZ001+1.V3.tptp	14-May-2007 02:11	8.5K
	PUZ001+1.V4.tptp	14-May-2007 02:11	10K
	PUZ001+1.tptp	14-May-2007 02:11	17K
	PUZ001+1b.tptp	19-Jan-2009 15:34	5.7K
	PUZ001-1.tptp	14-May-2007 02:11	4.9K
	PUZ016-2.005	28-Feb-2007 16:22	38K
	PUZ016-2.005.tptp	14-May-2007 02:11	38K
	PUZ027-1+noeq.tptp.final	14-May-2007 02:11	11K
	PUZ027-1+noeq.tptp.finalb	14-May-2007 02:11	11K
	PUZ027-1.EP.tptp	14-May-2007 02:11	6.2K
	PUZ047+1.tptp	14-May-2007 02:11	18K
	SET011+3.tptp	14-May-2007 02:11	13K
	SET017+1.tptp	14-May-2007 02:11	14K
	SET615+3.tptp	14-May-2007 02:11	65K
	SET615+3b.tptp	14-May-2007 02:11	38K
	SET637+3.SNARK.tptp	14-May-2007 02:11	3.2K
	SET645+3.tptp	14-May-2007 02:11	45K
	SET646+3.tptp	14-May-2007 02:11	53K
	SET647+3.tptp	14-May-2007 02:11	50K
	SET647+3b.tptp	14-May-2007 02:11	68K
	SET657+3.tptp	14-May-2007 02:11	37K
	SET696+4.tptp	14-May-2007 02:11	21K
	SWV116+1.tptp	14-May-2007 02:11	106K
	SYN036+1.tptp	10-Nov-2005 21:45	527K
	SYN052+1.tptp	14-May-2007 02:11	7.3K
	_PUZ001+1.tptp	19-Jan-2009 15:34	9.3K
	a.out	19-Jan-2009 15:34	169K
	all_set.tptp	19-Jan-2009 15:34	2.3K
	applet38_coord_url	19-Jan-2009 15:34	2.5K
	axiom_set.tptp	19-Jan-2009 15:34	634
	broken.01.tptp	19-Jan-2009 15:34	600
	chain_t24_yellow17_uns	19-Jan-2009 15:34	116K
	chain_t38_yellow19	19-Jan-2009 15:34	114K
	derivation01.tptp	19-Jan-2009 15:34	6.7K
	entrada.tptp	19-Jan-2009 15:34	162
	eye.png	28-Mar-2007 16:24	728
	funct_1__for_idv	19-Jan-2009 15:34	105K
	makefile	19-Jan-2009 15:34	42
	matrix11.agin1	19-Jan-2009 15:34	1.1M
	matrix11.agin11	19-Jan-2009 15:34	190K
	new-dcm-q2	19-Jan-2009 15:34	16K
	ordinal1__for_idv	19-Jan-2009 15:34	46K
	proof6966tptp	19-Jan-2009 15:34	3.6K
	sample00.tptp	14-May-2007 02:11	1.4K
	sample01.tptp	14-May-2007 02:11	1.4K
	sample03.tptp	14-May-2007 02:11	1.5K
	sample04.tptp	14-May-2007 02:11	525
	sample05.tptp	14-May-2007 02:11	1.5K
	sample06.tptp	14-May-2007 02:11	2.0K
	sample07.tptp	14-May-2007 02:11	10K
	sample08.tptp	14-May-2007 02:11	1.5K
	sample09.tptp	14-May-2007 02:11	162
	sample10.tptp	14-May-2007 02:11	19K
	solution.s	07-Nov-2007 16:30	7.8K
	testApplet4.html	13-May-2007 11:15	251
	testApplet27_url_public.html	13-May-2007 11:15	260
	testApplet28_url_public.html	13-May-2007 11:15	248
	testApplet29.html	13-May-2007 11:15	11K
	testApplet30.html	13-May-2007 11:15	11K
	testApplet31_url_public.html	13-May-2007 11:15	574
	testApplet32.html	13-May-2007 11:15	11K
	testApplet33_url_public.html	13-May-2007 11:15	574
	testApplet34_url_public.html	13-May-2007 11:15	576
	testApplet35_url_public.html	13-May-2007 11:15	574
	testApplet36_url_public.html	13-May-2007 11:15	580
	testApplet37_url_public.html	13-May-2007 11:15	543