Index of /users/eker/Maude/Alpha88b/Maude-2.3/tests/Misc

	Name	Last modified	Size	Description
	Parent Directory		-
	debug	2006-10-06 18:42	208
	dekker	2006-10-06 18:42	212
	commands	2006-10-06 18:41	220
	renaming	2006-10-06 18:43	220
	diophantine	2006-10-06 18:43	232
	dataStructures	2006-10-06 18:45	244
	parameterization	2006-10-06 18:43	252
	Makefile.am	2005-10-06 17:32	487
	debug.maude	2004-03-17 17:15	528
	debug.expected	2004-05-19 18:14	574
	diophantine.maude	2005-10-06 17:11	596
	commands.maude	2004-03-17 17:17	707
	diophantine.expected	2005-10-06 17:36	1.2K
	renaming.maude	2005-06-23 12:56	1.5K
	dataStructures.maude	2006-09-13 15:15	2.8K
	dekker.maude	2004-03-17 17:10	4.9K
	parameterization.maude	2006-10-06 18:54	5.0K
	dekker.expected	2004-03-17 17:31	7.4K
	dataStructures.expected	2006-10-06 18:50	9.3K
	Makefile.in	2006-11-10 19:13	11K
	renaming.expected	2006-10-06 18:49	16K
	commands.expected	2006-09-29 15:52	52K
	parameterization.expected	2006-10-06 18:56	237K