Index of /data/main/m/maude/3.2-2/tests/Meta

• Parent Directory
• Makefile.am
• Makefile.in
• checkUnifiers
• checkUnifiers.expected
• checkUnifiers.maude
• legacyMetaGetVariant
• legacyMetaGetVariant.expected
• legacyMetaGetVariant.maude
• legacyMetaUnify
• legacyMetaUnify.expected
• legacyMetaUnify.maude
• legacyMetaVariantUnify
• legacyMetaVariantUnify.expected
• legacyMetaVariantUnify.maude
• metaApply
• metaApply.expected
• metaApply.maude
• metaFrewrite
• metaFrewrite.expected
• metaFrewrite.maude
• metaGetVariant
• metaGetVariant.expected
• metaGetVariant.maude
• metaIntApply
• metaIntApply.expected
• metaIntApply.maude
• metaIntMatch
• metaIntMatch.expected
• metaIntMatch.maude
• metaIntNewNarrow
• metaIntNewNarrow.expected
• metaIntNewNarrow.maude
• metaIntNewNarrowSearch
• metaIntNewNarrowSearch.expected
• metaIntNewNarrowSearch.maude
• metaIntParse
• metaIntParse.expected
• metaIntParse.maude
• metaIntPrelude
• metaIntPrelude.expected
• metaIntPrelude.maude
• metaIntPrint
• metaIntPrint.expected
• metaIntPrint.maude
• metaIntReplace
• metaIntReplace.expected
• metaIntReplace.maude
• metaIntReplace2
• metaIntReplace2.expected
• metaIntReplace2.maude
• metaIntSearch
• metaIntSearch.expected
• metaIntSearch.maude
• metaIntSort
• metaIntSort.expected
• metaIntSort.maude
• metaIntStrategy
• metaIntStrategy.expected
• metaIntStrategy.maude
• metaIntUnify
• metaIntUnify.expected
• metaIntUnify.maude
• metaIntVariant
• metaIntVariant.expected
• metaIntVariant.maude
• metaIntVariantMatch
• metaIntVariantMatch.expected
• metaIntVariantMatch.maude
• metaIntVariantUnify
• metaIntVariantUnify.expected
• metaIntVariantUnify.maude
• metaIntVariantUnify2
• metaIntVariantUnify2.expected
• metaIntVariantUnify2.maude
• metaMatch
• metaMatch.expected
• metaMatch.maude
• metaMeta
• metaMeta.expected
• metaMeta.maude
• metaMetadata
• metaMetadata.expected
• metaMetadata.maude
• metaModExp
• metaModExp.expected
• metaModExp.maude
• metaModule
• metaModule.expected
• metaModule.maude
• metaNarrow
• metaNarrow.expected
• metaNarrow.maude
• metaParse
• metaParse.expected
• metaParse.maude
• metaPolymorph
• metaPolymorph.expected
• metaPolymorph.maude
• metaPrettyPrint
• metaPrettyPrint.expected
• metaPrettyPrint.maude
• metaPrintAttr
• metaPrintAttr.expected
• metaPrintAttr.maude
• metaProcApply
• metaProcApply.expected
• metaProcApply.maude
• metaProcMatch
• metaProcMatch.expected
• metaProcMatch.maude
• metaProcNarrow
• metaProcNarrow.expected
• metaProcNarrow.maude
• metaProcNarrowSearch
• metaProcNarrowSearch.expected
• metaProcNarrowSearch.maude
• metaProcParse
• metaProcParse.expected
• metaProcParse.maude
• metaProcPrelude
• metaProcPrelude.expected
• metaProcPrelude.maude
• metaProcPrint
• metaProcPrint.expected
• metaProcPrint.maude
• metaProcReplace
• metaProcReplace.expected
• metaProcReplace.maude
• metaProcReplace2
• metaProcReplace2.expected
• metaProcReplace2.maude
• metaProcSearch
• metaProcSearch.expected
• metaProcSearch.maude
• metaProcSort
• metaProcSort.expected
• metaProcSort.maude
• metaProcStrategy
• metaProcStrategy.expected
• metaProcStrategy.maude
• metaProcUnify
• metaProcUnify.expected
• metaProcUnify.maude
• metaProcVariant
• metaProcVariant.expected
• metaProcVariant.maude
• metaProcVariantMatch
• metaProcVariantMatch.expected
• metaProcVariantMatch.maude
• metaProcVariantUnify
• metaProcVariantUnify.expected
• metaProcVariantUnify.maude
• metaProcVariantUnify2
• metaProcVariantUnify2.expected
• metaProcVariantUnify2.maude
• metaReduce
• metaReduce.expected
• metaReduce.maude
• metaRewrite
• metaRewrite.expected
• metaRewrite.maude
• metaSearch
• metaSearch.expected
• metaSearch.maude
• metaSort
• metaSort.expected
• metaSort.maude
• metaSpecial
• metaSpecial.expected
• metaSpecial.maude
• metaTerm
• metaTerm.expected
• metaTerm.maude
• metaUnify
• metaUnify.expected
• metaUnify.maude
• metaUp
• metaUp.expected
• metaUp.maude
• metaUp2
• metaUp2.expected
• metaUp2.maude
• metaUpDown
• metaUpDown.expected
• metaUpDown.maude
• metaUpModExp
• metaUpModExp.expected
• metaUpModExp.maude
• metaVariantMatch
• metaVariantMatch.expected
• metaVariantMatch.maude
• metaVariantUnify
• metaVariantUnify.expected
• metaVariantUnify.maude
• metaVariantUnify2
• metaVariantUnify2.expected
• metaVariantUnify2.maude
• metaWellFormed
• metaWellFormed.expected
• metaWellFormed.maude
• metaXapply
• metaXapply.expected
• metaXapply.maude
• metaXmatch
• metaXmatch.expected
• metaXmatch.maude
• russianDollsFlat
• russianDollsFlat.expected
• russianDollsFlat.maude
• russianDollsFlatProc
• russianDollsFlatProc.expected
• russianDollsFlatProc.maude
• russianDollsNonFlat
• russianDollsNonFlat.expected
• russianDollsNonFlat.maude
• russianDollsNonFlat2
• russianDollsNonFlat2.expected
• russianDollsNonFlat2.maude
• russianDollsNonFlat3
• russianDollsNonFlat3.expected
• russianDollsNonFlat3.maude
• russianDollsNonFlatProc
• russianDollsNonFlatProc.expected
• russianDollsNonFlatProc.maude
• russianDollsNonFlatProc2
• russianDollsNonFlatProc2.expected
• russianDollsNonFlatProc2.maude
• russianDollsNonFlatProc3
• russianDollsNonFlatProc3.expected
• russianDollsNonFlatProc3.maude