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

	Name	Last modified	Size	Description
	Parent Directory		-
	bag-sum-prod-bin.trs	2005-03-23 10:57	483
	bag-sum-prod-distr.trs	2005-03-23 10:57	541
	bag-sum-prod.trs	2005-03-23 10:57	394
	boolean_rings.trs	2005-03-23 10:57	484
	differ.trs	2005-03-23 10:57	445
	intersect.trs	2005-03-23 10:57	425
	kusakari1.trs	2005-03-23 10:57	167
	maude2.trs	2005-03-23 10:57	2.1K
	rationals.trs	2005-03-23 10:57	2.5K
	sequent_modulo.trs	2005-03-23 10:57	2.9K