Index of /~marche/tpdb/tpdb-2.0/TRS/AProVE

	Name	Last modified	Size	Description
	Parent Directory		-
	AAECC-ring-cond.trs	2005-03-23 10:57	1.8K
	AAECC-ring.trs	2005-03-23 10:57	2.5K
	AAECC.trs	2005-03-23 10:57	943
	AAECCcond.trs	2005-03-23 10:57	882
	IJCAR_1.trs	2005-03-23 10:57	154
	IJCAR_12.trs	2005-03-23 10:57	336
	IJCAR_18.trs	2005-03-23 10:57	629
	IJCAR_26.trs	2005-03-23 10:57	721
	IJCAR_26a.trs	2005-03-23 10:57	733
	IJCAR_AC1.trs	2005-03-23 10:57	362
	JFP_Ex17.trs	2005-03-23 10:57	660
	JFP_Ex31.trs	2005-03-23 10:57	375
	JFP_Ex51.trs	2005-03-23 10:57	665
	LPAR_intlist.trs	2005-03-23 10:57	241
	Liveness6.1.trs	2005-03-23 10:57	299
	Liveness6.2.trs	2005-03-23 10:57	275
	Liveness6.3.trs	2005-03-23 10:57	490
	Liveness6.4.trs	2005-03-23 10:57	608
	Liveness8.trs	2005-03-23 10:57	458
	Liveness_WRS.trs	2005-03-23 10:57	333
	fac.trs	2005-03-23 10:57	223
	forward_instantiation.trs	2005-03-23 10:57	67
	forward_instantiation2.trs	2005-03-23 10:57	85
	improved_usable.trs	2005-03-23 10:57	98
	improved_usable2.trs	2005-03-23 10:57	90
	rta1.trs	2005-03-23 10:57	231
	rta2.trs	2005-03-23 10:57	65
	rta3.trs	2005-03-23 10:57	198