Index of /users/eker/Maude/Alpha120/maude-alpha120/tests/Meta

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.am	2018-12-07 20:10	2.8K
	Makefile.in	2018-12-07 20:16	40K
	metaApply	2006-10-06 18:58	224
	metaApply.expected	2017-08-03 17:45	11K
	metaApply.maude	2004-03-16 14:45	7.7K
	metaFrewrite	2006-10-06 18:59	236
	metaFrewrite.expected	2017-08-03 17:45	3.0K
	metaFrewrite.maude	2004-03-16 14:45	964
	metaGetVariant	2012-07-31 19:04	244
	metaGetVariant.expected	2017-08-03 17:45	2.2K
	metaGetVariant.maude	2012-07-31 19:03	1.1K
	metaIntApply	2018-11-12 20:02	236
	metaIntApply.expected	2018-11-13 16:48	3.9K
	metaIntApply.maude	2018-11-12 20:01	2.6K
	metaIntMatch	2018-08-08 17:25	236
	metaIntMatch.expected	2018-08-09 18:49	3.3K
	metaIntMatch.maude	2018-08-09 17:30	3.8K
	metaIntNewNarrow	2018-12-04 16:51	252
	metaIntNewNarrow.expected	2018-12-04 18:07	24K
	metaIntNewNarrow.maude	2018-12-04 17:18	3.3K
	metaIntNewNarrowSearch	2018-12-07 20:05	276
	metaIntNewNarrowSearch.expected	2018-12-07 20:20	5.2K
	metaIntNewNarrowSearch.maude	2018-12-07 20:01	3.6K
	metaIntParse	2018-10-23 16:33	236
	metaIntParse.expected	2018-10-23 16:43	1.8K
	metaIntParse.maude	2018-10-23 15:39	1.3K
	metaIntPrelude	2018-05-21 19:40	244
	metaIntPrelude.expected	2018-08-09 18:40	61K
	metaIntPrelude.maude	2018-08-09 18:20	5.1K
	metaIntPrint	2018-10-22 16:17	236
	metaIntPrint.expected	2018-10-22 16:43	2.0K
	metaIntPrint.maude	2018-10-22 16:42	1.5K
	metaIntReplace	2018-05-22 19:27	244
	metaIntReplace.expected	2018-08-09 18:46	2.1K
	metaIntReplace.maude	2018-08-09 18:19	6.2K
	metaIntReplace2	2018-05-22 19:31	248
	metaIntReplace2.expected	2018-08-09 18:47	2.2K
	metaIntReplace2.maude	2018-08-09 18:16	6.3K
	metaIntSearch	2018-08-08 17:44	240
	metaIntSearch.expected	2018-08-09 18:50	5.6K
	metaIntSearch.maude	2018-08-09 17:34	4.3K
	metaIntSort	2018-08-17 19:13	232
	metaIntSort.expected	2018-09-17 16:22	10K
	metaIntSort.maude	2018-09-17 16:20	7.5K
	metaIntUnify	2018-09-26 17:40	236
	metaIntUnify.expected	2018-09-26 18:28	11K
	metaIntUnify.maude	2018-09-26 18:23	5.0K
	metaIntVariant	2018-10-10 17:07	244
	metaIntVariant.expected	2018-10-10 17:13	18K
	metaIntVariant.maude	2018-10-12 19:35	4.3K
	metaIntVariantUnify	2018-10-15 16:54	264
	metaIntVariantUnify.expected	2018-10-15 19:48	5.1K
	metaIntVariantUnify.maude	2018-10-15 16:52	3.6K
	metaMatch	2006-10-06 18:59	224
	metaMatch.expected	2017-08-03 17:45	4.9K
	metaMatch.maude	2004-03-16 17:32	3.6K
	metaMeta	2006-10-06 19:00	220
	metaMeta.expected	2017-08-03 17:45	340
	metaMeta.maude	2004-03-16 17:32	445
	metaMetadata	2006-10-06 19:08	236
	metaMetadata.expected	2017-08-03 17:45	3.3K
	metaMetadata.maude	2004-12-08 16:44	1.2K
	metaModExp	2006-10-06 19:07	228
	metaModExp.expected	2017-08-03 17:45	2.9K
	metaModExp.maude	2004-03-17 15:21	1.7K
	metaModule	2006-10-06 19:00	228
	metaModule.expected	2017-08-03 17:45	2.0K
	metaModule.maude	2004-03-16 17:32	839
	metaNarrow	2016-12-19 16:49	228
	metaNarrow.expected	2017-08-03 17:45	44K
	metaNarrow.maude	2017-05-25 19:00	14K
	metaParse	2006-10-06 19:01	224
	metaParse.expected	2017-08-03 17:45	1.7K
	metaParse.maude	2004-03-16 17:33	1.0K
	metaPolymorph	2006-10-06 19:07	240
	metaPolymorph.expected	2017-08-03 17:45	4.0K
	metaPolymorph.maude	2004-03-17 15:31	3.3K
	metaPrettyPrint	2006-10-06 19:01	248
	metaPrettyPrint.expected	2017-08-03 17:45	2.9K
	metaPrettyPrint.maude	2005-01-07 14:46	2.6K
	metaPrintAttr	2008-09-17 12:22	240
	metaPrintAttr.expected	2017-08-03 17:45	1.9K
	metaPrintAttr.maude	2008-09-17 12:21	1.3K
	metaReduce	2006-10-06 19:02	228
	metaReduce.expected	2017-08-03 17:45	2.3K
	metaReduce.maude	2004-03-16 17:34	1.5K
	metaRewrite	2006-10-06 19:02	232
	metaRewrite.expected	2017-08-03 17:45	2.8K
	metaRewrite.maude	2004-03-16 17:34	1.8K
	metaSearch	2006-10-06 19:02	228
	metaSearch.expected	2017-08-03 17:45	6.8K
	metaSearch.maude	2004-12-01 13:45	3.6K
	metaSort	2006-10-06 19:03	220
	metaSort.expected	2017-08-03 17:45	8.4K
	metaSort.maude	2004-12-03 19:24	4.4K
	metaSpecial	2006-10-06 19:03	232
	metaSpecial.expected	2017-08-03 17:45	5.9K
	metaSpecial.maude	2004-03-16 17:35	3.7K
	metaTerm	2006-10-06 19:03	220
	metaTerm.expected	2017-08-03 17:45	1.4K
	metaTerm.maude	2004-03-16 17:35	339
	metaUnify	2008-04-18 18:57	224
	metaUnify.expected	2017-08-03 17:45	4.4K
	metaUnify.maude	2008-04-18 19:32	2.1K
	metaUp	2006-10-06 19:04	212
	metaUp.expected	2017-08-03 17:45	22K
	metaUp.maude	2004-03-16 17:35	2.1K
	metaUp2	2006-10-06 19:06	216
	metaUp2.expected	2018-08-13 16:44	729K
	metaUp2.maude	2004-03-17 15:29	1.9K
	metaUpDown	2006-10-06 19:07	228
	metaUpDown.expected	2017-08-03 17:45	3.9K
	metaUpDown.maude	2004-03-17 15:25	893
	metaUpModExp	2006-10-06 19:06	236
	metaUpModExp.expected	2017-08-03 17:45	8.0K
	metaUpModExp.maude	2004-03-17 15:18	1.0K
	metaVariantUnify	2012-07-31 17:28	252
	metaVariantUnify.expected	2017-08-03 17:45	7.9K
	metaVariantUnify.maude	2017-01-06 18:56	3.7K
	metaWellFormed	2006-10-06 19:04	244
	metaWellFormed.expected	2017-12-22 17:10	4.2K
	metaWellFormed.maude	2017-12-22 17:07	2.8K
	metaXapply	2006-10-06 19:05	229
	metaXapply.expected	2017-08-03 17:45	4.1K
	metaXapply.maude	2004-03-16 17:36	3.6K
	metaXmatch	2006-10-06 19:05	228
	metaXmatch.expected	2017-08-03 17:45	16K
	metaXmatch.maude	2004-03-16 17:36	9.9K
	russianDollsFlat	2018-06-08 17:53	252
	russianDollsFlat.expected	2018-08-09 18:48	6.0K
	russianDollsFlat.maude	2018-08-09 18:13	1.4K
	russianDollsNonFlat	2018-06-08 18:00	264
	russianDollsNonFlat.expected	2018-08-09 18:48	7.6K
	russianDollsNonFlat.maude	2018-08-09 18:11	2.9K