Index of /~marche/termination-competition/2004/tpdb/CimeAC

	Name	Last modified	Size	Description
	Parent Directory		-
	bag-sum-prod-bin-distr.trs	2004-03-05 16:27	541
	bag-sum-prod-bin-distr.trs.cim2	2004-07-01 14:27	868
	bag-sum-prod-bin.trs	2004-03-05 16:27	483
	bag-sum-prod-bin.trs.cim2	2004-07-01 14:27	808
	bag-sum-prod-distr.trs	2004-03-05 16:27	541
	bag-sum-prod-distr.trs.cim2	2004-07-01 14:27	868
	bag-sum-prod.trs	2004-03-05 16:27	394
	bag-sum-prod.trs.cim2	2004-07-01 14:27	649
	boolean_rings.trs	2004-03-05 16:27	484
	boolean_rings.trs.cim2	2004-07-01 14:27	649
	differ.trs	2004-03-05 16:27	445
	differ.trs.cim2	2004-07-01 14:29	790
	intersect.trs	2004-03-05 16:27	425
	intersect.trs.cim2	2004-07-01 14:30	658
	kusakari1.trs	2004-03-05 16:27	167
	kusakari1.trs.cim2	2004-07-01 14:31	225
	maude2.trs	2004-05-26 10:06	2.1K
	maude2.trs.cim2	2004-07-01 14:33	1.6K
	rationals.trs	2004-03-05 16:27	2.5K
	rationals.trs.cim2	2004-07-01 14:36	3.8K
	sequent_modulo.trs	2004-03-05 16:27	2.9K
	sequent_modulo.trs.cim2	2004-07-01 14:38	4.2K
	temporal-logic.trs	2004-03-05 16:27	4.3K
	temporal-logic.trs.cim2	2004-07-01 14:38	2.9K
	ternary.trs	2004-03-05 16:27	617
	ternary.trs.cim2	2004-07-01 14:38	891