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