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

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.am	2004-12-08 16:24	1.4K
	Makefile.in	2006-11-10 19:13	12K
	metaApply	2006-10-06 18:58	224
	metaApply.expected	2004-12-03 19:16	11K
	metaApply.maude	2004-03-16 14:45	7.7K
	metaFrewrite	2006-10-06 18:59	236
	metaFrewrite.expected	2004-03-16 14:59	3.0K
	metaFrewrite.maude	2004-03-16 14:45	964
	metaMatch	2006-10-06 18:59	224
	metaMatch.expected	2004-03-16 17:38	4.9K
	metaMatch.maude	2004-03-16 17:32	3.6K
	metaMeta	2006-10-06 19:00	220
	metaMeta.expected	2004-03-16 17:38	354
	metaMeta.maude	2004-03-16 17:32	445
	metaMetadata	2006-10-06 19:08	236
	metaMetadata.expected	2004-12-23 16:40	3.3K
	metaMetadata.maude	2004-12-08 16:44	1.2K
	metaModExp	2006-10-06 19:07	228
	metaModExp.expected	2004-03-17 16:12	2.9K
	metaModExp.maude	2004-03-17 15:21	1.7K
	metaModule	2006-10-06 19:00	228
	metaModule.expected	2004-03-16 17:38	2.0K
	metaModule.maude	2004-03-16 17:32	839
	metaParse	2006-10-06 19:01	224
	metaParse.expected	2004-03-16 17:38	1.8K
	metaParse.maude	2004-03-16 17:33	1.0K
	metaPolymorph	2006-10-06 19:07	240
	metaPolymorph.expected	2004-03-17 16:12	4.0K
	metaPolymorph.maude	2004-03-17 15:31	3.3K
	metaPrettyPrint	2006-10-06 19:01	248
	metaPrettyPrint.expected	2005-07-29 18:43	2.9K
	metaPrettyPrint.maude	2005-01-07 14:46	2.6K
	metaReduce	2006-10-06 19:02	228
	metaReduce.expected	2004-03-16 17:38	2.3K
	metaReduce.maude	2004-03-16 17:34	1.5K
	metaRewrite	2006-10-06 19:02	232
	metaRewrite.expected	2004-03-16 17:38	2.8K
	metaRewrite.maude	2004-03-16 17:34	1.8K
	metaSearch	2006-10-06 19:02	228
	metaSearch.expected	2004-12-03 19:19	6.7K
	metaSearch.maude	2004-12-01 13:45	3.6K
	metaSort	2006-10-06 19:03	220
	metaSort.expected	2005-11-17 14:19	8.2K
	metaSort.maude	2004-12-03 19:24	4.4K
	metaSpecial	2006-10-06 19:03	232
	metaSpecial.expected	2004-03-16 17:38	5.9K
	metaSpecial.maude	2004-03-16 17:35	3.7K
	metaTerm	2006-10-06 19:03	220
	metaTerm.expected	2004-03-16 17:38	1.4K
	metaTerm.maude	2004-03-16 17:35	339
	metaUp	2006-10-06 19:04	212
	metaUp.expected	2006-10-06 19:14	17K
	metaUp.maude	2004-03-16 17:35	2.1K
	metaUp2	2006-10-06 19:06	216
	metaUp2.expected	2006-11-10 19:10	548K
	metaUp2.maude	2004-03-17 15:29	1.9K
	metaUpDown	2006-10-06 19:07	228
	metaUpDown.expected	2004-03-17 16:12	3.9K
	metaUpDown.maude	2004-03-17 15:25	893
	metaUpModExp	2006-10-06 19:06	236
	metaUpModExp.expected	2006-11-10 19:09	8.1K
	metaUpModExp.maude	2004-03-17 15:18	1.0K
	metaWellFormed	2006-10-06 19:04	244
	metaWellFormed.expected	2004-12-03 19:32	4.6K
	metaWellFormed.maude	2004-03-16 17:35	2.8K
	metaXapply	2006-10-06 19:05	229
	metaXapply.expected	2004-03-16 17:38	4.0K
	metaXapply.maude	2004-03-16 17:36	3.6K
	metaXmatch	2006-10-06 19:05	228
	metaXmatch.expected	2004-03-16 17:38	16K
	metaXmatch.maude	2004-03-16 17:36	9.9K