Index of /users/eker/Maude/Benchmarks

	Name	Last modified	Size	Description
	Parent Directory		-
	setHierarchy.maude	2003-03-28 16:53	1.5K
	simpleSet.maude	2003-03-28 16:45	1.2K
	tautology.maude	2003-03-28 16:49	1.6K
	threeElt.maude	2003-03-28 17:01	1.2K