Index of /users/eker/Maude/Alpha71

	Name	Last modified	Size	Description
	Parent Directory		-
	linux.out	2002-03-22 21:05	275K
	maude.linux	2002-03-22 21:04	1.4M
	maude.solaris	2002-03-22 20:54	1.3M
	prelude.maude	2002-03-22 20:53	37K
	solaris.out	2002-03-22 21:05	275K