data/maude-3.1/ChangeLog: UTF-8 Unicode text data/maude-3.1/mkinstalldirs: POSIX shell script, ASCII text executable data/maude-3.1/compile: POSIX shell script, ASCII text executable data/maude-3.1/configure.ac: ASCII text data/maude-3.1/INSTALL: makefile script, ASCII text data/maude-3.1/tests/BuiltIn/counters.expected: ASCII text data/maude-3.1/tests/BuiltIn/counters.maude: ASCII text data/maude-3.1/tests/BuiltIn/string.expected: ASCII text data/maude-3.1/tests/BuiltIn/Makefile.am: ASCII text data/maude-3.1/tests/BuiltIn/int.maude: ASCII text data/maude-3.1/tests/BuiltIn/nat.maude: ASCII text data/maude-3.1/tests/BuiltIn/nat: POSIX shell script, ASCII text executable data/maude-3.1/tests/BuiltIn/nat.expected: ASCII text, with very long lines data/maude-3.1/tests/BuiltIn/int: POSIX shell script, ASCII text executable data/maude-3.1/tests/BuiltIn/string.maude: ASCII text data/maude-3.1/tests/BuiltIn/string: POSIX shell script, ASCII text executable data/maude-3.1/tests/BuiltIn/counters: POSIX shell script, ASCII text executable data/maude-3.1/tests/BuiltIn/rat.maude: ASCII text data/maude-3.1/tests/BuiltIn/rat.expected: ASCII text data/maude-3.1/tests/BuiltIn/int.expected: ASCII text data/maude-3.1/tests/BuiltIn/rat: POSIX shell script, ASCII text executable data/maude-3.1/tests/BuiltIn/Makefile.in: makefile script, ASCII text, with escape sequences data/maude-3.1/tests/Makefile.am: automake makefile script, ASCII text data/maude-3.1/tests/ResolvedBugs/metaParseStrategyApril2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/metaIntMatchOct2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/metaIntRewriteJune2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaApplyNov2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/CUIbug12-22-09.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/ascentFunctionsJanuary2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/ACU_MissingUnifiersMay2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/clearRulesJune2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/complexParserSyncApril2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/polymorphicOverloadMay2019.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/instantiationJuly2019.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/unificationMar2013.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/ascentFunctionsJanuary2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaParseStrategyApril2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/sortCollapseMay2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/unificationMar2013: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/physArgIndexOct2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/ACU_MissingUnifiersMay2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/variantUnifyJune2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/CUIbug12-22-09.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/viewRecursionMay2019.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/Makefile.am: ASCII text data/maude-3.1/tests/ResolvedBugs/showModuleJune2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/metaIntMatchOct2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/parameterTheoryMay2019.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/parserJune2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/variantUnifyJune2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/moduleSumMay2019: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaIntMatchOct2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/parameterTheoryCopyMay2019: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/instantiationJuly2019: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaParseStrategyApril2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/staleViewJune2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/showModuleJune2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/metaIntImportJune2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/moduleSumMay2019.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/parameterTheoryCopyMay2019.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/parserJune2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/sortCollapseMay2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/variantUnifyJune2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/viewRecursionMay2019: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaIntAscentJune2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/identityUnificationMay2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/identityUnificationSeptember2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/closeSocketFeb2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/identityUnificationMay2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/metaModuleCacheJune2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/identityUnificationSeptember2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaIntAscentJune2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/objectMessageOct2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/identityUnificationMay2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/complexParserSyncApril2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/ascentFunctionsJanuary2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/ACU_MissingUnifiersMay2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/CUI_OccursCheckSeptember2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/complexParserSyncApril2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/staleViewJune2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/physArgIndexOct2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaIntAscentJune2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/metaIntRewriteJune2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/closeSocketFeb2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaApplyNov2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/metaModuleCacheJune2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/parameterTheoryCopyMay2019.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/sortCollapseMay2020: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/metaModuleCacheJune2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/metaApplyNov2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/parserJune2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/CUIbug12-22-09: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/CUI_OccursCheckSeptember2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/staleViewJune2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/identityUnificationSeptember2020.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/moduleSumMay2019.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/metaIntRewriteJune2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/objectMessageOct2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/CUI_OccursCheckSeptember2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/unificationMar2013.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/polymorphicOverloadMay2019.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/metaIntImportJune2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/clearRulesJune2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/physArgIndexOct2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/closeSocketFeb2020.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/polymorphicOverloadMay2019: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/viewRecursionMay2019.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/parameterTheoryMay2019: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/showModuleJune2018: POSIX shell script, ASCII text executable data/maude-3.1/tests/ResolvedBugs/objectMessageOct2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/metaIntImportJune2018.maude: ASCII text data/maude-3.1/tests/ResolvedBugs/parameterTheoryMay2019.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/clearRulesJune2018.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/instantiationJuly2019.expected: ASCII text data/maude-3.1/tests/ResolvedBugs/Makefile.in: makefile script, ASCII text, with escape sequences data/maude-3.1/tests/StrategyLanguage/Makefile.am: ASCII text data/maude-3.1/tests/StrategyLanguage/modules.expected: ASCII text data/maude-3.1/tests/StrategyLanguage/modules.maude: ASCII text data/maude-3.1/tests/StrategyLanguage/srewrite: POSIX shell script, ASCII text executable data/maude-3.1/tests/StrategyLanguage/metalevel: POSIX shell script, ASCII text executable data/maude-3.1/tests/StrategyLanguage/metalevel.expected: ASCII text data/maude-3.1/tests/StrategyLanguage/srewrite.expected: ASCII text data/maude-3.1/tests/StrategyLanguage/srewrite.maude: ASCII text data/maude-3.1/tests/StrategyLanguage/metalevel.maude: ASCII text data/maude-3.1/tests/StrategyLanguage/modules: POSIX shell script, ASCII text executable data/maude-3.1/tests/StrategyLanguage/parameterization.maude: ASCII text data/maude-3.1/tests/StrategyLanguage/parameterization.expected: ASCII text data/maude-3.1/tests/StrategyLanguage/parameterization: POSIX shell script, ASCII text executable data/maude-3.1/tests/StrategyLanguage/Makefile.in: makefile script, ASCII text, with escape sequences data/maude-3.1/tests/Meta/metaUp2.expected: ASCII text, with very long lines data/maude-3.1/tests/Meta/metaMetadata.expected: ASCII text data/maude-3.1/tests/Meta/metaUnify.maude: ASCII text data/maude-3.1/tests/Meta/metaApply.maude: ASCII text data/maude-3.1/tests/Meta/metaVariantMatch: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntPrelude.maude: ASCII text data/maude-3.1/tests/Meta/metaIntReplace.expected: ASCII text data/maude-3.1/tests/Meta/russianDollsFlat.expected: ASCII text data/maude-3.1/tests/Meta/metaUpModExp.expected: ASCII text data/maude-3.1/tests/Meta/legacyMetaGetVariant.maude: ASCII text data/maude-3.1/tests/Meta/metaIntNewNarrowSearch.expected: ASCII text data/maude-3.1/tests/Meta/metaPrintAttr.maude: ASCII text data/maude-3.1/tests/Meta/metaIntStrategy.maude: ASCII text data/maude-3.1/tests/Meta/russianDollsNonFlat2.maude: ASCII text data/maude-3.1/tests/Meta/metaSearch.maude: ASCII text data/maude-3.1/tests/Meta/metaIntPrint.expected: ASCII text data/maude-3.1/tests/Meta/metaMetadata: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaReduce.expected: ASCII text data/maude-3.1/tests/Meta/metaTerm.expected: ASCII text data/maude-3.1/tests/Meta/metaIntSort: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntVariantMatch: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntParse.maude: ASCII text data/maude-3.1/tests/Meta/metaSearch: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntVariantUnify2.maude: ASCII text data/maude-3.1/tests/Meta/metaSpecial.expected: ASCII text data/maude-3.1/tests/Meta/metaGetVariant: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/legacyMetaUnify: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/legacyMetaUnify.maude: ASCII text data/maude-3.1/tests/Meta/metaUnify.expected: ASCII text data/maude-3.1/tests/Meta/checkUnifiers.maude: ASCII text data/maude-3.1/tests/Meta/metaXapply: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaUpModExp: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntSort.maude: ASCII text data/maude-3.1/tests/Meta/metaIntReplace: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntNewNarrow: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/Makefile.am: ASCII text data/maude-3.1/tests/Meta/metaIntMatch.maude: ASCII text data/maude-3.1/tests/Meta/metaVariantUnify.expected: ASCII text data/maude-3.1/tests/Meta/metaIntVariantUnify2.expected: ASCII text data/maude-3.1/tests/Meta/metaNarrow.expected: ASCII text data/maude-3.1/tests/Meta/metaIntVariant: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaUpDown.expected: ASCII text data/maude-3.1/tests/Meta/metaXmatch: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/russianDollsFlat: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaFrewrite: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaWellFormed.maude: ASCII text data/maude-3.1/tests/Meta/metaPrettyPrint: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaApply: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaMeta.expected: ASCII text data/maude-3.1/tests/Meta/russianDollsNonFlat2.expected: ASCII text data/maude-3.1/tests/Meta/legacyMetaGetVariant.expected: ASCII text data/maude-3.1/tests/Meta/russianDollsNonFlat: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaPrintAttr: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaApply.expected: ASCII text data/maude-3.1/tests/Meta/russianDollsNonFlat3: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntParse: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaGetVariant.maude: ASCII text data/maude-3.1/tests/Meta/metaPolymorph.maude: ASCII text data/maude-3.1/tests/Meta/metaIntReplace.maude: ASCII text data/maude-3.1/tests/Meta/metaUpModExp.maude: ASCII text data/maude-3.1/tests/Meta/metaUp2: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaSpecial: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntPrint: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntVariantUnify: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaVariantUnify2.expected: ASCII text data/maude-3.1/tests/Meta/metaUp.maude: ASCII text data/maude-3.1/tests/Meta/metaPolymorph: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaPrettyPrint.maude: ASCII text data/maude-3.1/tests/Meta/legacyMetaVariantUnify.maude: ASCII text data/maude-3.1/tests/Meta/metaPrettyPrint.expected: ASCII text data/maude-3.1/tests/Meta/metaSort: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaWellFormed.expected: ASCII text data/maude-3.1/tests/Meta/metaModExp: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntVariantUnify.expected: ASCII text data/maude-3.1/tests/Meta/metaIntReplace2.expected: ASCII text data/maude-3.1/tests/Meta/legacyMetaUnify.expected: ASCII text data/maude-3.1/tests/Meta/metaRewrite.maude: ASCII text data/maude-3.1/tests/Meta/metaRewrite: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaWellFormed: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaTerm: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaFrewrite.maude: ASCII text data/maude-3.1/tests/Meta/legacyMetaVariantUnify.expected: ASCII text data/maude-3.1/tests/Meta/metaParse: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntNewNarrowSearch: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaMeta.maude: ASCII text data/maude-3.1/tests/Meta/metaIntPrelude.expected: ASCII text, with very long lines data/maude-3.1/tests/Meta/metaIntPrint.maude: ASCII text data/maude-3.1/tests/Meta/metaVariantUnify2: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/legacyMetaVariantUnify: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/checkUnifiers: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/russianDollsFlat.maude: ASCII text data/maude-3.1/tests/Meta/metaVariantMatch.expected: ASCII text data/maude-3.1/tests/Meta/metaXmatch.expected: ASCII text data/maude-3.1/tests/Meta/metaMetadata.maude: ASCII text data/maude-3.1/tests/Meta/metaRewrite.expected: ASCII text data/maude-3.1/tests/Meta/metaNarrow.maude: ASCII text data/maude-3.1/tests/Meta/metaXapply.maude: ASCII text data/maude-3.1/tests/Meta/metaVariantUnify.maude: ASCII text data/maude-3.1/tests/Meta/metaIntVariantMatch.expected: ASCII text data/maude-3.1/tests/Meta/metaIntVariantUnify.maude: ASCII text data/maude-3.1/tests/Meta/metaIntApply.expected: ASCII text data/maude-3.1/tests/Meta/metaSearch.expected: ASCII text data/maude-3.1/tests/Meta/metaFrewrite.expected: ASCII text data/maude-3.1/tests/Meta/metaIntSearch.expected: ASCII text data/maude-3.1/tests/Meta/metaIntNewNarrow.expected: ASCII text data/maude-3.1/tests/Meta/metaIntParse.expected: ASCII text data/maude-3.1/tests/Meta/metaVariantUnify: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntReplace2.maude: ASCII text data/maude-3.1/tests/Meta/metaSort.maude: ASCII text data/maude-3.1/tests/Meta/russianDollsNonFlat2: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaTerm.maude: ASCII text data/maude-3.1/tests/Meta/metaSpecial.maude: ASCII text data/maude-3.1/tests/Meta/metaIntApply: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntVariantUnify2: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaParse.expected: ASCII text data/maude-3.1/tests/Meta/metaIntVariant.maude: ASCII text data/maude-3.1/tests/Meta/metaXapply.expected: ASCII text data/maude-3.1/tests/Meta/metaUnify: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/checkUnifiers.expected: ASCII text data/maude-3.1/tests/Meta/russianDollsNonFlat.expected: ASCII text data/maude-3.1/tests/Meta/metaMatch.maude: ASCII text data/maude-3.1/tests/Meta/metaVariantMatch.maude: ASCII text data/maude-3.1/tests/Meta/metaSort.expected: ASCII text data/maude-3.1/tests/Meta/metaMatch: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaModule: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/russianDollsNonFlat.maude: ASCII text data/maude-3.1/tests/Meta/metaIntMatch: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaUpDown: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/russianDollsNonFlat3.maude: ASCII text data/maude-3.1/tests/Meta/metaUp.expected: ASCII text data/maude-3.1/tests/Meta/metaIntStrategy.expected: ASCII text data/maude-3.1/tests/Meta/metaIntStrategy: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaVariantUnify2.maude: ASCII text data/maude-3.1/tests/Meta/metaPolymorph.expected: ASCII text data/maude-3.1/tests/Meta/metaIntNewNarrow.maude: ASCII text data/maude-3.1/tests/Meta/metaIntPrelude: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaReduce.maude: ASCII text data/maude-3.1/tests/Meta/metaUp: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntUnify.expected: ASCII text data/maude-3.1/tests/Meta/metaReduce: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaModule.expected: ASCII text data/maude-3.1/tests/Meta/metaIntSort.expected: ASCII text data/maude-3.1/tests/Meta/legacyMetaGetVariant: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntUnify.maude: ASCII text data/maude-3.1/tests/Meta/metaIntVariantMatch.maude: ASCII text data/maude-3.1/tests/Meta/metaNarrow: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaGetVariant.expected: ASCII text data/maude-3.1/tests/Meta/metaIntVariant.expected: ASCII text data/maude-3.1/tests/Meta/metaIntMatch.expected: ASCII text data/maude-3.1/tests/Meta/metaUpDown.maude: ASCII text data/maude-3.1/tests/Meta/metaUp2.maude: ASCII text data/maude-3.1/tests/Meta/metaMeta: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaModExp.maude: ASCII text data/maude-3.1/tests/Meta/metaIntNewNarrowSearch.maude: ASCII text data/maude-3.1/tests/Meta/metaParse.maude: ASCII text data/maude-3.1/tests/Meta/metaModExp.expected: ASCII text data/maude-3.1/tests/Meta/metaIntUnify: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaIntSearch.maude: ASCII text data/maude-3.1/tests/Meta/metaXmatch.maude: ASCII text data/maude-3.1/tests/Meta/metaIntReplace2: POSIX shell script, ASCII text executable data/maude-3.1/tests/Meta/metaPrintAttr.expected: ASCII text data/maude-3.1/tests/Meta/Makefile.in: makefile script, ASCII text, with escape sequences data/maude-3.1/tests/Meta/metaModule.maude: ASCII text data/maude-3.1/tests/Meta/metaMatch.expected: ASCII text data/maude-3.1/tests/Meta/metaIntApply.maude: ASCII text data/maude-3.1/tests/Meta/russianDollsNonFlat3.expected: ASCII text data/maude-3.1/tests/Meta/metaIntSearch: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/mapToParameterTheory: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/sreduce.maude: ASCII text data/maude-3.1/tests/Misc/variantMatching.expected: ASCII text data/maude-3.1/tests/Misc/parse.expected: ASCII text data/maude-3.1/tests/Misc/narrow: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/unification3.maude: diff output, ASCII text data/maude-3.1/tests/Misc/AU_Unification: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/variantNarrowing.expected: ASCII text data/maude-3.1/tests/Misc/AU_Unification.maude: ASCII text data/maude-3.1/tests/Misc/filteredVariantUnification: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/dataStructures: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/unification2: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/variantUnification: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/variantNarrowing: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/smtTest.maude: ASCII text data/maude-3.1/tests/Misc/dataStructures.expected: ASCII text data/maude-3.1/tests/Misc/AU_Unification.expected: ASCII text data/maude-3.1/tests/Misc/view.expected: ASCII text data/maude-3.1/tests/Misc/rot13.expected: ASCII text data/maude-3.1/tests/Misc/unification: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/commands: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/CU_Unification.maude: ASCII text data/maude-3.1/tests/Misc/commands.expected: ASCII text data/maude-3.1/tests/Misc/CU_Unification.expected: ASCII text data/maude-3.1/tests/Misc/Makefile.am: ASCII text data/maude-3.1/tests/Misc/bubble.expected: ASCII text data/maude-3.1/tests/Misc/badView.maude: ASCII text data/maude-3.1/tests/Misc/attributes.expected: ASCII text data/maude-3.1/tests/Misc/attributes.maude: ASCII text data/maude-3.1/tests/Misc/filteredVariantUnification.maude: UTF-8 Unicode text data/maude-3.1/tests/Misc/meseguerFiniteVariant: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/mapToParameterTheory.expected: ASCII text data/maude-3.1/tests/Misc/parameterizedView.expected: ASCII text data/maude-3.1/tests/Misc/assocUnification.expected: ASCII text data/maude-3.1/tests/Misc/dekker.maude: ASCII text data/maude-3.1/tests/Misc/meseguerFiniteVariant.maude: ASCII text data/maude-3.1/tests/Misc/rot13.maude: ASCII text data/maude-3.1/tests/Misc/smtTest: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/filteredVariantUnification.expected: ASCII text data/maude-3.1/tests/Misc/sreduce: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/diophantine: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/continue.expected: ASCII text data/maude-3.1/tests/Misc/CU_Unification: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/meseguerFiniteVariant.expected: ASCII text data/maude-3.1/tests/Misc/debug.maude: ASCII text data/maude-3.1/tests/Misc/dekker.expected: ASCII text data/maude-3.1/tests/Misc/badView: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/badView.expected: ASCII text data/maude-3.1/tests/Misc/unification3: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/parameterizedView.maude: ASCII text data/maude-3.1/tests/Misc/debug: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/diophantine.expected: ASCII text data/maude-3.1/tests/Misc/narrow.expected: ASCII text data/maude-3.1/tests/Misc/variantNarrowing.maude: ASCII text data/maude-3.1/tests/Misc/narrow.maude: ASCII text data/maude-3.1/tests/Misc/dataStructures.maude: ASCII text data/maude-3.1/tests/Misc/view.maude: ASCII text data/maude-3.1/tests/Misc/assocUnification: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/sreduce.expected: ASCII text data/maude-3.1/tests/Misc/view: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/variantMatching.maude: ASCII text data/maude-3.1/tests/Misc/debug.expected: ASCII text data/maude-3.1/tests/Misc/parameterization.maude: ASCII text data/maude-3.1/tests/Misc/assocUnification.maude: ASCII text data/maude-3.1/tests/Misc/bubble: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/parse.maude: diff output, ASCII text data/maude-3.1/tests/Misc/parameterization.expected: ASCII text data/maude-3.1/tests/Misc/smtTest.expected: ASCII text data/maude-3.1/tests/Misc/renaming.maude: ASCII text data/maude-3.1/tests/Misc/variantUnification.maude: ASCII text data/maude-3.1/tests/Misc/dekker: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/parameterization: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/unification3.expected: ASCII text data/maude-3.1/tests/Misc/renaming: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/attributes: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/diophantine.maude: ASCII text data/maude-3.1/tests/Misc/parameterizedView: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/continue.maude: ASCII text data/maude-3.1/tests/Misc/unification2.expected: ASCII text data/maude-3.1/tests/Misc/variantMatching: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/rot13: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/bubble.maude: diff output, ASCII text data/maude-3.1/tests/Misc/mapToParameterTheory.maude: ASCII text data/maude-3.1/tests/Misc/commands.maude: ASCII text data/maude-3.1/tests/Misc/unification.maude: ASCII text data/maude-3.1/tests/Misc/parse: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/variantUnification.expected: ASCII text data/maude-3.1/tests/Misc/unification.expected: ASCII text data/maude-3.1/tests/Misc/continue: POSIX shell script, ASCII text executable data/maude-3.1/tests/Misc/unification2.maude: diff output, ASCII text data/maude-3.1/tests/Misc/renaming.expected: ASCII text data/maude-3.1/tests/Misc/Makefile.in: makefile script, ASCII text, with escape sequences data/maude-3.1/tests/Makefile.in: makefile script, ASCII text data/maude-3.1/Makefile.am: automake makefile script, ASCII text data/maude-3.1/config.h.in: ASCII text data/maude-3.1/depcomp: POSIX shell script, ASCII text executable data/maude-3.1/missing: POSIX shell script, ASCII text executable data/maude-3.1/config.sub: POSIX shell script, ASCII text executable data/maude-3.1/src/Main/ChangeLog: UTF-8 Unicode text data/maude-3.1/src/Main/smt.maude: ASCII text data/maude-3.1/src/Main/linear.maude: ASCII text data/maude-3.1/src/Main/prelude.maude: ASCII text data/maude-3.1/src/Main/Makefile.am: ASCII text data/maude-3.1/src/Main/model-checker.maude: ASCII text data/maude-3.1/src/Main/term-order.maude: ASCII text data/maude-3.1/src/Main/machine-int.maude: ASCII text data/maude-3.1/src/Main/process.maude: ASCII text data/maude-3.1/src/Main/file.maude: ASCII text data/maude-3.1/src/Main/socket.maude: ASCII text data/maude-3.1/src/Main/metaInterpreter.maude: ASCII text data/maude-3.1/src/Main/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Main/main.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingFolder.hh: C++ source, ASCII text data/maude-3.1/src/Higher/ChangeLog: UTF-8 Unicode text data/maude-3.1/src/Higher/positionState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/narrowingSequenceSearch.hh: C++ source, ASCII text data/maude-3.1/src/Higher/narrowingSearchState3.hh: C++ source, ASCII text data/maude-3.1/src/Higher/filteredVariantUnifierSearch.hh: C++ source, ASCII text data/maude-3.1/src/Higher/sortTestConditionFragment.cc: C source, ASCII text data/maude-3.1/src/Higher/modelCheckerSymbol.cc: C source, ASCII text data/maude-3.1/src/Higher/searchState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/rewriteSearchState.cc: C source, ASCII text data/maude-3.1/src/Higher/variantUnifierFilter.cc: C source, ASCII text data/maude-3.1/src/Higher/assignmentConditionState.cc: C source, ASCII text data/maude-3.1/src/Higher/higher.hh: C source, ASCII text data/maude-3.1/src/Higher/rewriteConditionState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/matchSearchState.cc: C source, ASCII text data/maude-3.1/src/Higher/variantSearch.cc: C source, ASCII text data/maude-3.1/src/Higher/assignmentConditionFragment.hh: C++ source, ASCII text data/maude-3.1/src/Higher/assignmentConditionFragment.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingSequenceSearch.cc: C source, ASCII text data/maude-3.1/src/Higher/variantNarrowingSearchState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/pattern.hh: C++ source, ASCII text data/maude-3.1/src/Higher/pattern.cc: C source, ASCII text data/maude-3.1/src/Higher/Makefile.am: ASCII text data/maude-3.1/src/Higher/sortTestConditionFragment.hh: C++ source, ASCII text data/maude-3.1/src/Higher/stateTransitionGraph.cc: C source, ASCII text data/maude-3.1/src/Higher/irredundantUnificationProblem.hh: C++ source, ASCII text data/maude-3.1/src/Higher/unificationProblem.hh: C++ source, ASCII text data/maude-3.1/src/Higher/rewriteSequenceSearch.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingSearchState2.hh: C++ source, ASCII text data/maude-3.1/src/Higher/satSolverSymbol.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingSequenceSearch3.cc: C source, ASCII text data/maude-3.1/src/Higher/stateTransitionGraph.hh: C++ source, ASCII text data/maude-3.1/src/Higher/variantSearch.hh: C++ source, ASCII text data/maude-3.1/src/Higher/variantMatchingProblem.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingSequenceSearch3.hh: C++ source, ASCII text data/maude-3.1/src/Higher/positionState.cc: C source, ASCII text data/maude-3.1/src/Higher/unifierFilter.hh: C++ source, ASCII text data/maude-3.1/src/Higher/temporalSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Higher/searchState.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingSearchState2.cc: C source, ASCII text data/maude-3.1/src/Higher/variantMatchingProblem.hh: C++ source, ASCII text data/maude-3.1/src/Higher/narrowingSearchState3.cc: C source, ASCII text data/maude-3.1/src/Higher/satSolverSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Higher/irredundantUnificationProblem.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingUnificationProblem.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingSearchState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/assignmentConditionState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/rewriteSearchState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/variantUnificationProblem.hh: C++ source, ASCII text data/maude-3.1/src/Higher/equalityConditionFragment.cc: C source, ASCII text data/maude-3.1/src/Higher/rewriteConditionState.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingFolder.cc: C source, ASCII text data/maude-3.1/src/Higher/rewriteSequenceSearch.hh: C++ source, ASCII text data/maude-3.1/src/Higher/rewriteConditionFragment.hh: C++ source, ASCII text data/maude-3.1/src/Higher/cacheableState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/variantUnifierFilter.hh: C++ source, ASCII text data/maude-3.1/src/Higher/modelCheckerSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Higher/sequenceSearch.hh: C++ source, ASCII text data/maude-3.1/src/Higher/filteredVariantUnifierSearch.cc: C source, ASCII text data/maude-3.1/src/Higher/unifierFilter.cc: C source, ASCII text data/maude-3.1/src/Higher/unificationProblem.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingSearchState.cc: C source, ASCII text data/maude-3.1/src/Higher/matchSearchState.hh: C++ source, ASCII text data/maude-3.1/src/Higher/variantUnificationProblem.cc: C source, ASCII text data/maude-3.1/src/Higher/variantFolder.hh: C++ source, ASCII text data/maude-3.1/src/Higher/temporalSymbol.cc: C source, ASCII text data/maude-3.1/src/Higher/equalityConditionFragment.hh: C++ source, ASCII text data/maude-3.1/src/Higher/variantNarrowingSearchState.cc: C source, ASCII text data/maude-3.1/src/Higher/variantFolder.cc: C source, ASCII text data/maude-3.1/src/Higher/narrowingUnificationProblem.hh: C++ source, ASCII text data/maude-3.1/src/Higher/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Higher/rewriteConditionFragment.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/ChangeLog: ASCII text data/maude-3.1/src/AU_Theory/AU_LhsCompiler.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_DequeDagNode.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_ExtensionInfo.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_ExtensionInfo.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_RhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_Layer.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_Subproblem.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_CollapseMatcher.cc: ASCII text data/maude-3.1/src/AU_Theory/AU_Term.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/ChangeLog.A_Theory: ASCII text data/maude-3.1/src/AU_Theory/Makefile.am: ASCII text data/maude-3.1/src/AU_Theory/AU_DequeDagArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_Symbol.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_FullMatcher.cc: ASCII text data/maude-3.1/src/AU_Theory/AU_DagNode.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_LhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_ArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_Normalize.cc: ASCII text data/maude-3.1/src/AU_Theory/AU_DagOperations.cc: ASCII text data/maude-3.1/src/AU_Theory/AU_ArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_UnificationSubproblem2.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_Subproblem.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_BaseDagNode.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_LhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_RhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_UnificationSubproblem2.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_DequeDagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_DagNode.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_Matcher.cc: ASCII text data/maude-3.1/src/AU_Theory/AU_DagArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_DagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_DequeDagNode.cc: C source, ASCII text data/maude-3.1/src/AU_Theory/AU_DequeMatcher.cc: ASCII text data/maude-3.1/src/AU_Theory/AU_Layer.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_Term.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_Symbol.hh: C++ source, ASCII text data/maude-3.1/src/AU_Theory/AU_GreedyMatcher.cc: ASCII text data/maude-3.1/src/AU_Theory/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/AU_Theory/AU_Theory.hh: C source, ASCII text data/maude-3.1/src/BuiltIn/ChangeLog: ASCII text data/maude-3.1/src/BuiltIn/stringDagNode.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/CUI_NumberOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/stringDagNode.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/divisionSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/CUI_NumberOpSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/stringOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/stringSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/floatDagNode.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/stringTerm.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/counterSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/stringTerm.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/Makefile.am: ASCII text data/maude-3.1/src/BuiltIn/equalityExtor.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/matrixOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/minusSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/equalitySymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/matrixOpSignature.cc: ASCII text data/maude-3.1/src/BuiltIn/minusSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/randomOpSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/numberOpSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/floatOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/succSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/floatOpSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/sortTestSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/divisionSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/equalitySymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/counterSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/succSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/ACU_NumberOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/equalityExtor.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/equalityExtorFinal.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/floatDagNode.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/numberOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/floatTerm.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/stringSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/branchSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/equalityExtorFinal.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/bindingMacros.hh: C source, ASCII text data/maude-3.1/src/BuiltIn/randomOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/floatSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/builtIn.hh: C source, ASCII text data/maude-3.1/src/BuiltIn/floatSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/branchSymbol.hh: C++ source, ASCII text data/maude-3.1/src/BuiltIn/sortTestSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/ACU_NumberOpSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/stringOpSymbol.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/floatTerm.cc: C source, ASCII text data/maude-3.1/src/BuiltIn/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Makefile.am: automake makefile script, ASCII text data/maude-3.1/src/IO_Stuff/ChangeLog: ASCII text data/maude-3.1/src/IO_Stuff/directoryManager.cc: C source, ASCII text data/maude-3.1/src/IO_Stuff/autoWrapBuffer.hh: C++ source, ASCII text data/maude-3.1/src/IO_Stuff/Makefile.am: ASCII text data/maude-3.1/src/IO_Stuff/directoryManager.hh: C++ source, ASCII text data/maude-3.1/src/IO_Stuff/IO_Manager.hh: C++ source, ASCII text data/maude-3.1/src/IO_Stuff/IO_Manager.cc: C source, ASCII text data/maude-3.1/src/IO_Stuff/autoWrapBuffer.cc: C source, ASCII text data/maude-3.1/src/IO_Stuff/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Variable/ChangeLog: ASCII text data/maude-3.1/src/Variable/variableTerm.hh: C++ source, ASCII text data/maude-3.1/src/Variable/variableLhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/Variable/variableSymbol.cc: C source, ASCII text data/maude-3.1/src/Variable/variableDagNode.hh: C++ source, ASCII text data/maude-3.1/src/Variable/Makefile.am: ASCII text data/maude-3.1/src/Variable/variable.hh: C source, ASCII text data/maude-3.1/src/Variable/variableLhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Variable/variableDagNode.cc: C source, ASCII text data/maude-3.1/src/Variable/variableTerm.cc: C source, ASCII text data/maude-3.1/src/Variable/variableSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Variable/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/AU_Persistent/ChangeLog: ASCII text data/maude-3.1/src/AU_Persistent/AU_StackSort.cc: ASCII text data/maude-3.1/src/AU_Persistent/AU_Deque.cc: C source, ASCII text data/maude-3.1/src/AU_Persistent/AU_StackArgVec.cc: ASCII text data/maude-3.1/src/AU_Persistent/Makefile.am: ASCII text data/maude-3.1/src/AU_Persistent/AU_DequeIter.hh: C++ source, ASCII text data/maude-3.1/src/AU_Persistent/AU_Persistent.hh: C source, ASCII text data/maude-3.1/src/AU_Persistent/AU_Deque.hh: C++ source, ASCII text data/maude-3.1/src/AU_Persistent/AU_StackNode.cc: C source, ASCII text data/maude-3.1/src/AU_Persistent/AU_DequeIter.cc: C source, ASCII text data/maude-3.1/src/AU_Persistent/AU_StackNode.hh: C++ source, ASCII text data/maude-3.1/src/AU_Persistent/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/CUI_Theory/CUI_DagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/CUI_Theory/ChangeLog: ASCII text data/maude-3.1/src/CUI_Theory/CUI_UnificationSubproblem.hh: C++ source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_Symbol.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_DagNode.hh: C++ source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_DagNode.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/Makefile.am: ASCII text data/maude-3.1/src/CUI_Theory/CUI_LhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_Matcher.cc: ASCII text data/maude-3.1/src/CUI_Theory/CUI_RhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_Term.hh: C++ source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_DagArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_LhsCompiler.cc: ASCII text data/maude-3.1/src/CUI_Theory/CUI_UnificationSubproblem2.hh: C++ source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_ArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_Theory.hh: C source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_UnificationSubproblem2.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_Symbol.hh: C++ source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_Term.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_UnificationSubproblem.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_RhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/CUI_Theory/CUI_ArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/CUI_Theory/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/CUI_Theory/CUI_LhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Parser/ChangeLog: ASCII text data/maude-3.1/src/Parser/compile2.cc: ASCII text data/maude-3.1/src/Parser/parser.hh: C++ source, ASCII text data/maude-3.1/src/Parser/Makefile.am: ASCII text data/maude-3.1/src/Parser/compile.cc: ASCII text data/maude-3.1/src/Parser/pass1.cc: ASCII text data/maude-3.1/src/Parser/drp.cc: ASCII text data/maude-3.1/src/Parser/bubble.cc: ASCII text data/maude-3.1/src/Parser/parser.cc: C source, ASCII text data/maude-3.1/src/Parser/pass2.cc: C source, ASCII text data/maude-3.1/src/Parser/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Mixfix/entity.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/ChangeLog: UTF-8 Unicode text data/maude-3.1/src/Mixfix/viewCache.cc: C source, ASCII text data/maude-3.1/src/Mixfix/moduleDatabase.cc: C source, ASCII text data/maude-3.1/src/Mixfix/doParse.cc: ASCII text data/maude-3.1/src/Mixfix/xmlBuffer.cc: C source, ASCII text data/maude-3.1/src/Mixfix/interpreter.cc: C source, ASCII text data/maude-3.1/src/Mixfix/parameterDatabase.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/execute.cc: C source, ASCII text data/maude-3.1/src/Mixfix/prettyPrint.cc: C source, ASCII text data/maude-3.1/src/Mixfix/unify.cc: C source, ASCII text data/maude-3.1/src/Mixfix/importTranslation.cc: C source, ASCII text data/maude-3.1/src/Mixfix/enclosingObject.cc: C source, ASCII text data/maude-3.1/src/Mixfix/fixUp.cc: ASCII text data/maude-3.1/src/Mixfix/cvc4_Bindings.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierTerm.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/auxProperty.cc: C source, ASCII text data/maude-3.1/src/Mixfix/narrowing.cc: ASCII text data/maude-3.1/src/Mixfix/viewDatabase.cc: C source, ASCII text data/maude-3.1/src/Mixfix/smtSearch.cc: ASCII text data/maude-3.1/src/Mixfix/viewExpression.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/metadataStore.cc: C source, ASCII text data/maude-3.1/src/Mixfix/moduleCache.cc: C source, ASCII text data/maude-3.1/src/Mixfix/importTranslation.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/ops.cc: C source, ASCII text data/maude-3.1/src/Mixfix/mixfixModule.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/userLevelRewritingContext.cc: C source, ASCII text data/maude-3.1/src/Mixfix/instantiateModuleWithBoundParameters.cc: ASCII text data/maude-3.1/src/Mixfix/graphPrint.cc: ASCII text data/maude-3.1/src/Mixfix/printAttribute.cc: C source, ASCII text data/maude-3.1/src/Mixfix/lexer.ll: C source, ASCII text data/maude-3.1/src/Mixfix/symbolType.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/strategyTranslation.cc: C source, ASCII text data/maude-3.1/src/Mixfix/userLevelRewritingContext.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/mixfix.hh: C source, ASCII text data/maude-3.1/src/Mixfix/command.cc: C source, ASCII text data/maude-3.1/src/Mixfix/instantiateViewWithBoundParameters.cc: ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierDagNode.cc: C source, ASCII text data/maude-3.1/src/Mixfix/instantiateViewWithFreeParameters.cc: ASCII text data/maude-3.1/src/Mixfix/Makefile.am: ASCII text data/maude-3.1/src/Mixfix/maudemlBuffer.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/search.cc: C source, ASCII text data/maude-3.1/src/Mixfix/moduleExpression.cc: C source, ASCII text data/maude-3.1/src/Mixfix/sharedTokens.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/loopSymbol.cc: C source, ASCII text data/maude-3.1/src/Mixfix/entity.cc: C source, ASCII text data/maude-3.1/src/Mixfix/xmlBuffer.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/specialTokens.cc: ASCII text data/maude-3.1/src/Mixfix/syntacticPreModule.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/moduleDatabase.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/match.cc: ASCII text data/maude-3.1/src/Mixfix/modules.yy: ASCII text data/maude-3.1/src/Mixfix/makeGrammar.cc: ASCII text data/maude-3.1/src/Mixfix/renaming.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierDagNode.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/lexerAux.hh: ASCII text data/maude-3.1/src/Mixfix/visibleModule.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/printAttribute.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/token.cc: C source, ASCII text data/maude-3.1/src/Mixfix/lexer.cc: C source, ASCII text data/maude-3.1/src/Mixfix/termPrint.cc: ASCII text data/maude-3.1/src/Mixfix/parameterDatabase.cc: C source, ASCII text data/maude-3.1/src/Mixfix/interact.cc: C source, ASCII text data/maude-3.1/src/Mixfix/mixfixParser.cc: C source, ASCII text data/maude-3.1/src/Mixfix/trial.cc: ASCII text data/maude-3.1/src/Mixfix/token.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/preModule.cc: C source, ASCII text data/maude-3.1/src/Mixfix/renaming.cc: C source, ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/parameter.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/instantiateModuleWithFreeParameters.cc: ASCII text data/maude-3.1/src/Mixfix/entry.cc: C source, ASCII text data/maude-3.1/src/Mixfix/enclosingObject.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierOpSignature.cc: ASCII text data/maude-3.1/src/Mixfix/loopSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/tokenizer.ll: C source, ASCII text data/maude-3.1/src/Mixfix/variantUnify.cc: ASCII text data/maude-3.1/src/Mixfix/variableGenerator.cc: C source, ASCII text data/maude-3.1/src/Mixfix/profileModule.cc: C source, ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierOpSymbol.cc: C source, ASCII text data/maude-3.1/src/Mixfix/view.cc: C source, ASCII text data/maude-3.1/src/Mixfix/top.yy: C source, ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierTerm.cc: C source, ASCII text data/maude-3.1/src/Mixfix/viewCache.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/fileTable.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/yices2_Bindings.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/importModule.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/moduleCache.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/maudemlBuffer.cc: C source, ASCII text data/maude-3.1/src/Mixfix/syntaxContainer.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/erewrite.cc: ASCII text data/maude-3.1/src/Mixfix/specialSymbolTypes.cc: ASCII text data/maude-3.1/src/Mixfix/dagNodePrint.cc: ASCII text data/maude-3.1/src/Mixfix/sharedTokens.cc: C source, ASCII text data/maude-3.1/src/Mixfix/freshVariableSource.cc: C source, ASCII text data/maude-3.1/src/Mixfix/importModule.cc: C source, ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/metadataStore.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/renameModule.cc: ASCII text data/maude-3.1/src/Mixfix/syntacticView.cc: C source, ASCII text data/maude-3.1/src/Mixfix/compiler.cc: C source, ASCII text data/maude-3.1/src/Mixfix/variableGenerator.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/srewrite.cc: ASCII text data/maude-3.1/src/Mixfix/bottom.yy: ASCII text data/maude-3.1/src/Mixfix/moduleExpression.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/commands.yy: ASCII text data/maude-3.1/src/Mixfix/syntacticPreModule.cc: C source, ASCII text data/maude-3.1/src/Mixfix/viewDatabase.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/argument.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/variantMatch.cc: ASCII text data/maude-3.1/src/Mixfix/profileModule.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/cvc4_Bindings.cc: C source, ASCII text data/maude-3.1/src/Mixfix/bufferPrint.cc: C source, ASCII text data/maude-3.1/src/Mixfix/mixfixParser.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/ansiEscapeSequences.cc: ASCII text data/maude-3.1/src/Mixfix/quotedIdentifierSymbol.cc: C source, ASCII text data/maude-3.1/src/Mixfix/tokenizer.cc: C source, ASCII text data/maude-3.1/src/Mixfix/surface.cc: C source, ASCII text data/maude-3.1/src/Mixfix/strategyPrint.cc: ASCII text data/maude-3.1/src/Mixfix/yices2_Bindings.cc: C source, ASCII text data/maude-3.1/src/Mixfix/fileTable.cc: C source, ASCII text data/maude-3.1/src/Mixfix/getVariants.cc: ASCII text data/maude-3.1/src/Mixfix/mixfixModule.cc: C source, ASCII text data/maude-3.1/src/Mixfix/syntacticView.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/sharedPrint.cc: ASCII text data/maude-3.1/src/Mixfix/syntaxContainer.cc: C source, ASCII text data/maude-3.1/src/Mixfix/freshVariableSource.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/visibleModule.cc: C source, ASCII text data/maude-3.1/src/Mixfix/loopMode.cc: C source, ASCII text data/maude-3.1/src/Mixfix/interpreter.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/parameterization.cc: ASCII text data/maude-3.1/src/Mixfix/process.cc: C source, ASCII text data/maude-3.1/src/Mixfix/symbolType.cc: C source, ASCII text data/maude-3.1/src/Mixfix/cacheableRewritingContext.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/viewExpression.cc: C source, ASCII text data/maude-3.1/src/Mixfix/preModule.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Mixfix/view.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/compiler.hh: C++ source, ASCII text data/maude-3.1/src/Mixfix/global.cc: C source, ASCII text data/maude-3.1/src/Mixfix/global.hh: C source, ASCII text data/maude-3.1/src/Mixfix/lexerAux.cc: C source, ASCII text data/maude-3.1/src/Mixfix/banner.cc: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/ChangeLog: UTF-8 Unicode text data/maude-3.1/src/ObjectSystem/configSymbol.hh: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/pseudoThreadSignal.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/configSymbol.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/processActions.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/externalObjectManagerSymbol.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/processSignature.cc: ASCII text data/maude-3.1/src/ObjectSystem/fileManagerSymbol.hh: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/Makefile.am: ASCII text data/maude-3.1/src/ObjectSystem/fileSignature.cc: ASCII text data/maude-3.1/src/ObjectSystem/streamSignature.cc: ASCII text data/maude-3.1/src/ObjectSystem/fileOutcomes.cc: ASCII text data/maude-3.1/src/ObjectSystem/externalObjectManagerSymbol.hh: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/pseudoThread-pselect.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/objectSystem.hh: C source, ASCII text data/maude-3.1/src/ObjectSystem/processManagerSymbol.hh: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/objectMap.cc: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/pseudoThread.hh: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/socketManagerSymbol.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/remainder.cc: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/socketManagerSymbol.hh: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/socketStuff.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/fileManagerSymbol.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/supportedSignals.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/pseudoThread.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/socketAsync.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/streamManagerSymbol.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/processStuff.cc: ASCII text data/maude-3.1/src/ObjectSystem/pseudoThread-ppoll.cc: ASCII text data/maude-3.1/src/ObjectSystem/fileActions.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/socketOutcomes.cc: ASCII text data/maude-3.1/src/ObjectSystem/processOutcomes.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/processManagerSymbol.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/objectSystemRewritingContext.hh: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/streamManagerSymbol.hh: C++ source, ASCII text data/maude-3.1/src/ObjectSystem/objectSystemRewritingContext.cc: C source, ASCII text data/maude-3.1/src/ObjectSystem/socketSignature.cc: ASCII text data/maude-3.1/src/ObjectSystem/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/FreeTheory/freeUnaryRhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeUnarySymbol.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/ChangeLog: ASCII text data/maude-3.1/src/FreeTheory/freeRhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeTerm.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/Makefile.am: ASCII text data/maude-3.1/src/FreeTheory/freeGeneralCtor.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freePositionTable.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeNullaryRhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeNetExec.hh: C source, ASCII text data/maude-3.1/src/FreeTheory/freePreNetSemiCompiler.cc: ASCII text data/maude-3.1/src/FreeTheory/freeBinarySymbol.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeNullarySymbol.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeGeneralCtorFinal.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeGeneralExtorFinal.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeFast3RhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeBinarySymbol.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeNullarySymbol.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeNet.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeFast2RhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeRhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeTerm.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freePreNetFullCompiler.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeDagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freePreNetSubsumption.cc: ASCII text data/maude-3.1/src/FreeTheory/freePreNet.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeLhsCompiler.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeNullaryRhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeFast2RhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freePositionTable.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeLhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeRemainder.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeOccurrence.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeLhsStructs.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeFast3RhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeGeneralExtor.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeGeneralCtor.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeGeneralCtorFinal.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeTernaryRhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeDagNode.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freePreNet.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeInstruction.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeTernaryRhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeNetExec.cc: ASCII text data/maude-3.1/src/FreeTheory/freeTermFullCompiler.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeGeneralExtorFinal.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeSymbol.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeRemainder.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeLhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeTernarySymbol.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeFastInstruction.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeBinaryRhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeTernarySymbol.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeNet.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeGeneralExtor.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeFastInstruction.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeInstruction.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeDagArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeUnarySymbol.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeSubterm.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeSymbol.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/freeUnaryRhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeDagNode.cc: C source, ASCII text data/maude-3.1/src/FreeTheory/freeTheory.hh: C source, ASCII text data/maude-3.1/src/FreeTheory/freeBinaryRhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/FreeTheory/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Temporal/ChangeLog: ASCII text data/maude-3.1/src/Temporal/genBuchiAutomaton.cc: C source, ASCII text data/maude-3.1/src/Temporal/logicFormula.hh: C++ source, ASCII text data/maude-3.1/src/Temporal/veryWeakAlternatingAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Temporal/collapseStates.cc: C source, ASCII text data/maude-3.1/src/Temporal/buchiAutomaton2.cc: C source, ASCII text data/maude-3.1/src/Temporal/buchiAutomaton2.hh: C++ source, ASCII text data/maude-3.1/src/Temporal/Makefile.am: ASCII text data/maude-3.1/src/Temporal/veryWeakAlternatingAutomaton.cc: C source, ASCII text data/maude-3.1/src/Temporal/rawTransitionSet.cc: C source, ASCII text data/maude-3.1/src/Temporal/temporal.hh: C source, ASCII text data/maude-3.1/src/Temporal/genBuchiAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Temporal/sccAnalysis.cc: C source, ASCII text data/maude-3.1/src/Temporal/logicFormula.cc: C source, ASCII text data/maude-3.1/src/Temporal/rawTransitionSet.hh: C++ source, ASCII text data/maude-3.1/src/Temporal/satSolve.cc: C source, ASCII text data/maude-3.1/src/Temporal/transitionSet.hh: C++ source, ASCII text data/maude-3.1/src/Temporal/transitionSet.cc: C source, ASCII text data/maude-3.1/src/Temporal/sccOptimizations.cc: C source, ASCII text data/maude-3.1/src/Temporal/modelChecker2.cc: C source, ASCII text data/maude-3.1/src/Temporal/modelChecker2.hh: C++ source, ASCII text data/maude-3.1/src/Temporal/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/S_Theory/S_Subproblem.hh: C++ source, ASCII text data/maude-3.1/src/S_Theory/ChangeLog: ASCII text data/maude-3.1/src/S_Theory/S_DagNode.hh: C++ source, ASCII text data/maude-3.1/src/S_Theory/S_Subproblem.cc: C source, ASCII text data/maude-3.1/src/S_Theory/S_ArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/S_Theory/S_LhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/S_Theory/Makefile.am: ASCII text data/maude-3.1/src/S_Theory/S_RhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/S_Theory/S_Theory.hh: C source, ASCII text data/maude-3.1/src/S_Theory/S_RhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/S_Theory/S_ExtensionInfo.cc: C source, ASCII text data/maude-3.1/src/S_Theory/S_DagArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/S_Theory/S_LhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/S_Theory/S_Symbol.cc: C source, ASCII text data/maude-3.1/src/S_Theory/S_Term.hh: C++ source, ASCII text data/maude-3.1/src/S_Theory/S_DagNode.cc: C source, ASCII text data/maude-3.1/src/S_Theory/S_ExtensionInfo.hh: C++ source, ASCII text data/maude-3.1/src/S_Theory/S_Term.cc: C source, ASCII text data/maude-3.1/src/S_Theory/S_Symbol.hh: C++ source, ASCII text data/maude-3.1/src/S_Theory/S_ArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/S_Theory/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/S_Theory/S_DagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/Utility/pigPug.hh: C++ source, ASCII text data/maude-3.1/src/Utility/bddUser.hh: C++ source, ASCII text data/maude-3.1/src/Utility/ChangeLog: ASCII text data/maude-3.1/src/Utility/wordLevel.hh: C++ source, ASCII text data/maude-3.1/src/Utility/unionFind.cc: C source, ASCII text data/maude-3.1/src/Utility/binBuf.cc: C source, ASCII text data/maude-3.1/src/Utility/intSet.hh: C++ source, ASCII text data/maude-3.1/src/Utility/indent.cc: C source, ASCII text data/maude-3.1/src/Utility/pointerMap.hh: C++ source, ASCII text data/maude-3.1/src/Utility/digraph.cc: C source, ASCII text data/maude-3.1/src/Utility/unionFind.hh: C++ source, ASCII text data/maude-3.1/src/Utility/Makefile.am: ASCII text data/maude-3.1/src/Utility/wordLevel-simplifyEquations.cc: ASCII text data/maude-3.1/src/Utility/pigPug-checks.cc: ASCII text data/maude-3.1/src/Utility/variableConstraint.hh: C++ source, ASCII text data/maude-3.1/src/Utility/stringTable.cc: C source, ASCII text data/maude-3.1/src/Utility/wordLevel-feasible.cc: ASCII text data/maude-3.1/src/Utility/bdd.cc: C source, ASCII text data/maude-3.1/src/Utility/bddUser.cc: C source, ASCII text data/maude-3.1/src/Utility/tty.hh: C++ source, ASCII text data/maude-3.1/src/Utility/pointerSet.hh: C++ source, ASCII text data/maude-3.1/src/Utility/macros.cc: C source, ASCII text data/maude-3.1/src/Utility/graph.hh: C++ source, ASCII text data/maude-3.1/src/Utility/intSet.cc: C source, ASCII text data/maude-3.1/src/Utility/sequencePartition.cc: C source, ASCII text data/maude-3.1/src/Utility/mpzContejeanDevie.cc: ASCII text data/maude-3.1/src/Utility/mpzSystem.cc: C source, ASCII text data/maude-3.1/src/Utility/intSystem.cc: C source, ASCII text data/maude-3.1/src/Utility/stack.hh: C++ source, ASCII text data/maude-3.1/src/Utility/mpzGcdTrivial.cc: ASCII text data/maude-3.1/src/Utility/rope.cc: C source, ASCII text data/maude-3.1/src/Utility/wordLevel-simplifyAssignments.cc: ASCII text data/maude-3.1/src/Utility/mathStuff.hh: C source, ASCII text data/maude-3.1/src/Utility/macros.hh: C++ source, ASCII text data/maude-3.1/src/Utility/natSet.hh: C++ source, ASCII text data/maude-3.1/src/Utility/wordLevel-null.cc: ASCII text data/maude-3.1/src/Utility/pointerMap.cc: C source, ASCII text data/maude-3.1/src/Utility/timeStuff.hh: C source, ASCII text data/maude-3.1/src/Utility/pigPug.cc: C source, ASCII text data/maude-3.1/src/Utility/pointerSet.cc: C source, ASCII text data/maude-3.1/src/Utility/decBuf.hh: C++ source, ASCII text data/maude-3.1/src/Utility/intContejeanDevie.cc: ASCII text data/maude-3.1/src/Utility/sequenceAssignment.cc: C source, ASCII text data/maude-3.1/src/Utility/tty.cc: C source, ASCII text data/maude-3.1/src/Utility/decBuf.cc: C source, ASCII text data/maude-3.1/src/Utility/mpzGcdInit.cc: ASCII text data/maude-3.1/src/Utility/allSat.hh: C++ source, ASCII text data/maude-3.1/src/Utility/diophantineSystem.cc: C source, ASCII text data/maude-3.1/src/Utility/sequencePartition.hh: C++ source, ASCII text data/maude-3.1/src/Utility/wordLevel.cc: C source, ASCII text data/maude-3.1/src/Utility/indent.hh: C++ source, ASCII text data/maude-3.1/src/Utility/vector.hh: C++ source, ASCII text data/maude-3.1/src/Utility/allSat.cc: C source, ASCII text data/maude-3.1/src/Utility/timer.hh: C++ source, ASCII text data/maude-3.1/src/Utility/rope.hh: C++ source, UTF-8 Unicode text data/maude-3.1/src/Utility/checkedConstIterator.hh: C++ source, ASCII text data/maude-3.1/src/Utility/natSet.cc: C source, ASCII text data/maude-3.1/src/Utility/flagSet.hh: C++ source, ASCII text data/maude-3.1/src/Utility/pigPug-stack.cc: ASCII text data/maude-3.1/src/Utility/checkedIterator.hh: C++ source, ASCII text data/maude-3.1/src/Utility/intSystem.hh: C++ source, ASCII text data/maude-3.1/src/Utility/stringTable.hh: C++ source, ASCII text data/maude-3.1/src/Utility/pigPug-extract.cc: ASCII text data/maude-3.1/src/Utility/wordSystem.hh: C++ source, ASCII text data/maude-3.1/src/Utility/variableConstraint.cc: C source, ASCII text data/maude-3.1/src/Utility/bdd.hh: C++ source, ASCII text data/maude-3.1/src/Utility/wordLevel-selections.cc: ASCII text data/maude-3.1/src/Utility/preVector.cc: C source, ASCII text data/maude-3.1/src/Utility/timer.cc: C source, ASCII text data/maude-3.1/src/Utility/indexedSet.hh: C++ source, ASCII text data/maude-3.1/src/Utility/diophantineSystem.hh: C++ source, ASCII text data/maude-3.1/src/Utility/wordSystem.cc: C source, ASCII text data/maude-3.1/src/Utility/preVector.hh: C++ source, ASCII text data/maude-3.1/src/Utility/pigPug-search.cc: ASCII text data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc: ASCII text data/maude-3.1/src/Utility/mpzSystem.hh: C++ source, ASCII text data/maude-3.1/src/Utility/binBuf.hh: C++ source, ASCII text data/maude-3.1/src/Utility/digraph.hh: C++ source, ASCII text data/maude-3.1/src/Utility/sequenceAssignment.hh: C++ source, ASCII text data/maude-3.1/src/Utility/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Utility/pigPug-cycleDetection.cc: ASCII text data/maude-3.1/src/Utility/graph.cc: C source, ASCII text data/maude-3.1/src/SMT/SMT_RewriteSequenceSearch.hh: C++ source, ASCII text data/maude-3.1/src/SMT/ChangeLog: ASCII text data/maude-3.1/src/SMT/SMT_Info.cc: C source, ASCII text data/maude-3.1/src/SMT/SMT_RewriteSearchState.cc: C source, ASCII text data/maude-3.1/src/SMT/SMT_NumberSymbol.cc: C source, ASCII text data/maude-3.1/src/SMT/SMT_NumberTerm.hh: C++ source, ASCII text data/maude-3.1/src/SMT/Makefile.am: ASCII text data/maude-3.1/src/SMT/SMT.hh: C source, ASCII text data/maude-3.1/src/SMT/SMT_Symbol.cc: C source, ASCII text data/maude-3.1/src/SMT/SMT_NumberDagNode.hh: C++ source, ASCII text data/maude-3.1/src/SMT/SMT_NumberSymbol.hh: C++ source, ASCII text data/maude-3.1/src/SMT/SMT_RewriteSequenceSearch.cc: C source, ASCII text data/maude-3.1/src/SMT/SMT_NumberTerm.cc: C source, ASCII text data/maude-3.1/src/SMT/SMT_RewriteSearchState.hh: C++ source, ASCII text data/maude-3.1/src/SMT/SMT_EngineWrapper.hh: C++ source, ASCII text data/maude-3.1/src/SMT/SMT_Base.hh: C++ source, ASCII text data/maude-3.1/src/SMT/SMT_Symbol.hh: C++ source, ASCII text data/maude-3.1/src/SMT/SMT_NumberDagNode.cc: C source, ASCII text data/maude-3.1/src/SMT/SMT_Info.hh: C++ source, ASCII text data/maude-3.1/src/SMT/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/FullCompiler/ChangeLog: ASCII text data/maude-3.1/src/FullCompiler/compilationContext.hh: C++ source, ASCII text data/maude-3.1/src/FullCompiler/variableName.hh: C++ source, ASCII text data/maude-3.1/src/FullCompiler/Makefile.am: ASCII text data/maude-3.1/src/FullCompiler/runtime.hh: C++ source, ASCII text data/maude-3.1/src/FullCompiler/fullCompiler.hh: C source, ASCII text data/maude-3.1/src/FullCompiler/compilationContext.cc: C source, ASCII text data/maude-3.1/src/FullCompiler/runtime.cc: C source, ASCII text data/maude-3.1/src/FullCompiler/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/ACU_Persistent/ChangeLog: ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Stack.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Delete.cc: ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Insert.cc: ASCII text data/maude-3.1/src/ACU_Persistent/Makefile.am: ASCII text data/maude-3.1/src/ACU_Persistent/ACU_FastIter.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Persistent.hh: C source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_RedBlackNode.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_RedBlack.hh: C source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Tree.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Rebalance.cc: ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Pair.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_SlowIter.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_RedBlackNode.cc: C source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Tree.cc: C source, ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Find.cc: ASCII text data/maude-3.1/src/ACU_Persistent/ACU_Copy.cc: ASCII text data/maude-3.1/src/ACU_Persistent/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/ACU_Theory/ChangeLog: ASCII text data/maude-3.1/src/ACU_Theory/ACU_LazySubproblem.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_TreeDagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_ExtensionInfo.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory: ASCII text data/maude-3.1/src/ACU_Theory/ACU_Symbol.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_Subproblem.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_CollectorLhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_FastMerge.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_NonLinearLhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_LhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/Makefile.am: ASCII text data/maude-3.1/src/ACU_Theory/ACU_NGA_LhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_LhsCompiler1.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_TreeMatcher.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_LhsCompiler3.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_GndLhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_DagNode.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_VarLhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_TreeDagNode.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_VarLhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_DagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_BaseDagNode.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_BndVarLhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_ArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_BndVarLhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_MergeSort.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_TreeDagNode.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_RhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_LhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_TreeDagArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_Theory.hh: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_Normalize.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_LhsCompiler2.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_Symbol.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_NonLinearLhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_ArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_CollectorLhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_LhsCompiler0.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_RhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_DagArgumentIterator.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_Term.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_ExtensionInfo.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_DagNode.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_Matcher.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_Subproblem.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_LazySubproblem.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_UnificationSubproblem2.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_NGA_LhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_GndLhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_BaseDagNode.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_DagOperations.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_UnificationSubproblem2.cc: C source, ASCII text data/maude-3.1/src/ACU_Theory/ACU_CollapseMatcher.cc: ASCII text data/maude-3.1/src/ACU_Theory/ACU_GreedyMatcher.cc: ASCII text data/maude-3.1/src/ACU_Theory/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/ACU_Theory/ACU_Term.cc: C source, ASCII text data/maude-3.1/src/3rdParty/Makefile.am: ASCII text data/maude-3.1/src/3rdParty/MersenneTwister.h: C++ source, ASCII text data/maude-3.1/src/3rdParty/Makefile.in: makefile script, ASCII text data/maude-3.1/src/StrategyLanguage/strategicProcess.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/strategyExpression.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/matchProcess.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/ChangeLog: UTF-8 Unicode text data/maude-3.1/src/StrategyLanguage/iterationStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/subtermProcess.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/trivialStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/trivialStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/strategicTask.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/strategyStackManager.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/rewriteTask.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/strategyStackManager.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/decompositionProcess.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/concatenationStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/Makefile.am: ASCII text data/maude-3.1/src/StrategyLanguage/oneStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/strategyExpression.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/depthFirstStrategicSearch.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/strategyLanguage.hh: C source, ASCII text data/maude-3.1/src/StrategyLanguage/rewriteTask.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/oneTask.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/strategicExecution.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/callProcess.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/strategicSearch.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/callProcess.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/testStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/callStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/branchTask.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/subtermStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/variableBindingsManager.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/oneStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/applicationProcess.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/matchProcess.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/unionStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/decompositionProcess.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/callTask.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/unionStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/applicationStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/branchStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/iterationStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/subtermTask.cc: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/depthFirstStrategicSearch.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/subtermTask.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/strategicTask.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/subtermProcess.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/fairStrategicSearch.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/branchTask.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/strategicExecution.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/variableBindingsManager.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/concatenationStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/sharedValue.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/applicationProcess.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/strategicSearch.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/subtermStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/oneTask.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/callStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/branchStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/callTask.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/testStrategy.hh: C++ source, ASCII text data/maude-3.1/src/StrategyLanguage/fairStrategicSearch.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/strategicProcess.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/applicationStrategy.cc: C source, ASCII text data/maude-3.1/src/StrategyLanguage/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/NA_Theory/ChangeLog: ASCII text data/maude-3.1/src/NA_Theory/NA_LhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/NA_Theory/Makefile.am: ASCII text data/maude-3.1/src/NA_Theory/NA_RhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/NA_Theory/NA_Term.cc: C source, ASCII text data/maude-3.1/src/NA_Theory/NA_LhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/NA_Theory/NA_RhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/NA_Theory/NA_DagNode.cc: C source, ASCII text data/maude-3.1/src/NA_Theory/NA_Symbol.cc: C source, ASCII text data/maude-3.1/src/NA_Theory/NA_Term.hh: C++ source, ASCII text data/maude-3.1/src/NA_Theory/NA_Symbol.hh: C++ source, ASCII text data/maude-3.1/src/NA_Theory/NA_DagNode.hh: C++ source, ASCII text data/maude-3.1/src/NA_Theory/NA_Theory.hh: C source, ASCII text data/maude-3.1/src/NA_Theory/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Interface/ChangeLog: ASCII text data/maude-3.1/src/Interface/symbol2.hh: C source, ASCII text data/maude-3.1/src/Interface/dagNode.cc: C source, ASCII text data/maude-3.1/src/Interface/binarySymbol.cc: C source, ASCII text data/maude-3.1/src/Interface/rhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Interface/nonFinalExtor.cc: C source, ASCII text data/maude-3.1/src/Interface/Makefile.am: ASCII text data/maude-3.1/src/Interface/nonFinalCtor.hh: C++ source, ASCII text data/maude-3.1/src/Interface/nonFinalInstruction.cc: C source, ASCII text data/maude-3.1/src/Interface/regularInstruction.hh: C++ source, ASCII text data/maude-3.1/src/Interface/subproblem.hh: C++ source, ASCII text data/maude-3.1/src/Interface/symbol.hh: C++ source, ASCII text data/maude-3.1/src/Interface/binarySymbol.hh: C++ source, ASCII text data/maude-3.1/src/Interface/symbol.cc: C source, ASCII text data/maude-3.1/src/Interface/rawDagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/Interface/interface.hh: C source, ASCII text data/maude-3.1/src/Interface/dagNode.hh: C++ source, ASCII text data/maude-3.1/src/Interface/regularInstruction.cc: C source, ASCII text data/maude-3.1/src/Interface/nonFinalExtor.hh: C++ source, ASCII text data/maude-3.1/src/Interface/associativeSymbol.cc: C source, ASCII text data/maude-3.1/src/Interface/rawArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/Interface/associativeSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Interface/term.hh: C++ source, ASCII text data/maude-3.1/src/Interface/nonFinalInstruction.hh: C++ source, ASCII text data/maude-3.1/src/Interface/lhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Interface/term.cc: C source, ASCII text data/maude-3.1/src/Interface/delayedSubproblem.hh: C++ source, ASCII text data/maude-3.1/src/Interface/instruction.hh: C++ source, ASCII text data/maude-3.1/src/Interface/extensionInfo.hh: C++ source, ASCII text data/maude-3.1/src/Interface/finalInstruction.hh: C++ source, ASCII text data/maude-3.1/src/Interface/unificationSubproblem.hh: C++ source, ASCII text data/maude-3.1/src/Interface/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Meta/metaVariant.cc: ASCII text data/maude-3.1/src/Meta/interpreterVariant.cc: ASCII text data/maude-3.1/src/Meta/metaNarrow.cc: ASCII text data/maude-3.1/src/Meta/metaNewNarrow.cc: ASCII text data/maude-3.1/src/Meta/ChangeLog: UTF-8 Unicode text data/maude-3.1/src/Meta/interpreterVariantUnify.cc: ASCII text data/maude-3.1/src/Meta/metaUp.cc: C source, ASCII text data/maude-3.1/src/Meta/metaPreModule.cc: C source, ASCII text data/maude-3.1/src/Meta/interpreterSignature.cc: ASCII text data/maude-3.1/src/Meta/metaDownFixUps.cc: ASCII text data/maude-3.1/src/Meta/metaLevelOpSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Meta/metaLevelSignature.cc: ASCII text data/maude-3.1/src/Meta/metaVariantUnify.cc: ASCII text data/maude-3.1/src/Meta/interpreterSort.cc: C source, ASCII text data/maude-3.1/src/Meta/descentSignature.cc: ASCII text data/maude-3.1/src/Meta/interpreterManagerSymbol.cc: C source, ASCII text data/maude-3.1/src/Meta/metaDownView.cc: ASCII text data/maude-3.1/src/Meta/Makefile.am: ASCII text data/maude-3.1/src/Meta/metaUpModule.cc: ASCII text data/maude-3.1/src/Meta/interpreterRewrite.cc: ASCII text data/maude-3.1/src/Meta/legacyMetaVariantUnify.cc: ASCII text data/maude-3.1/src/Meta/metaApply.cc: ASCII text data/maude-3.1/src/Meta/interpreterVariantMatch.cc: ASCII text data/maude-3.1/src/Meta/metaUpView.cc: ASCII text data/maude-3.1/src/Meta/metaOpCache.hh: C++ source, ASCII text data/maude-3.1/src/Meta/descentFunctions.cc: C source, ASCII text data/maude-3.1/src/Meta/metaModule.cc: C source, ASCII text data/maude-3.1/src/Meta/metaView.hh: C++ source, ASCII text data/maude-3.1/src/Meta/metaUnify.cc: ASCII text data/maude-3.1/src/Meta/interpreterUnify.cc: ASCII text data/maude-3.1/src/Meta/metaLevelOpSymbol.cc: C source, ASCII text data/maude-3.1/src/Meta/legacyMetaVariant.cc: ASCII text data/maude-3.1/src/Meta/metaSrewrite.cc: ASCII text data/maude-3.1/src/Meta/interpreterNewNarrow.cc: ASCII text data/maude-3.1/src/Meta/metaDownRenamings.cc: ASCII text data/maude-3.1/src/Meta/metaView.cc: C source, ASCII text data/maude-3.1/src/Meta/metaNewNarrow2.cc: ASCII text data/maude-3.1/src/Meta/metaMatch.cc: ASCII text data/maude-3.1/src/Meta/metaDown.cc: ASCII text data/maude-3.1/src/Meta/interpreterManagerSymbol.hh: C++ source, ASCII text data/maude-3.1/src/Meta/meta.hh: C source, ASCII text data/maude-3.1/src/Meta/interpreterSearch.cc: ASCII text data/maude-3.1/src/Meta/metaPreModule.hh: C++ source, ASCII text data/maude-3.1/src/Meta/metaVariantMatch.cc: ASCII text data/maude-3.1/src/Meta/metaDownStrats.cc: ASCII text data/maude-3.1/src/Meta/interpreterPrint.cc: C source, ASCII text data/maude-3.1/src/Meta/metaOpCache.cc: C source, ASCII text data/maude-3.1/src/Meta/metaModule.hh: C++ source, ASCII text data/maude-3.1/src/Meta/ascentFunctions.cc: ASCII text data/maude-3.1/src/Meta/interpreterApply.cc: ASCII text data/maude-3.1/src/Meta/metaLevel.cc: C source, ASCII text data/maude-3.1/src/Meta/interpreterNewNarrowSearch.cc: ASCII text data/maude-3.1/src/Meta/legacyMetaUnify.cc: ASCII text data/maude-3.1/src/Meta/metaLevel.hh: C++ source, ASCII text data/maude-3.1/src/Meta/metaModuleCache.hh: C++ source, ASCII text data/maude-3.1/src/Meta/metaDownSignature.cc: ASCII text data/maude-3.1/src/Meta/legacyMetaUp.cc: ASCII text data/maude-3.1/src/Meta/metaDownOps.cc: ASCII text data/maude-3.1/src/Meta/interpreterMatch.cc: ASCII text data/maude-3.1/src/Meta/metaSearch.cc: C source, ASCII text data/maude-3.1/src/Meta/metaModuleCache.cc: C source, ASCII text data/maude-3.1/src/Meta/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Makefile.in: makefile script, ASCII text data/maude-3.1/src/Core/rootContainer.cc: C source, ASCII text data/maude-3.1/src/Core/dagArgumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/Core/ChangeLog: UTF-8 Unicode text data/maude-3.1/src/Core/rhsBuilder.hh: C++ source, ASCII text data/maude-3.1/src/Core/sortConstraint.cc: C source, ASCII text data/maude-3.1/src/Core/variableInfo.cc: C source, ASCII text data/maude-3.1/src/Core/sortCheckSubproblem.hh: C++ source, ASCII text data/maude-3.1/src/Core/environment.hh: C++ source, ASCII text data/maude-3.1/src/Core/hashConsSet.hh: C++ source, ASCII text data/maude-3.1/src/Core/lineNumber.hh: C++ source, ASCII text data/maude-3.1/src/Core/freshVariableGenerator.hh: C++ source, ASCII text data/maude-3.1/src/Core/sort.hh: C++ source, ASCII text data/maude-3.1/src/Core/variableAbstractionSubproblem.hh: C++ source, ASCII text data/maude-3.1/src/Core/module.hh: C++ source, ASCII text data/maude-3.1/src/Core/memoryBlock.hh: C++ source, ASCII text data/maude-3.1/src/Core/rewritingContext.cc: C source, ASCII text data/maude-3.1/src/Core/checkedArgVecIterator.hh: C++ source, ASCII text data/maude-3.1/src/Core/equationTable.cc: C source, ASCII text data/maude-3.1/src/Core/connectedComponent.cc: C source, ASCII text data/maude-3.1/src/Core/sortConstraintTable.cc: C source, ASCII text data/maude-3.1/src/Core/extensionMatchSubproblem.cc: C source, ASCII text data/maude-3.1/src/Core/frame.hh: C++ source, ASCII text data/maude-3.1/src/Core/stackMachine.hh: C++ source, ASCII text data/maude-3.1/src/Core/equation.cc: C source, ASCII text data/maude-3.1/src/Core/Makefile.am: ASCII text data/maude-3.1/src/Core/simpleRootContainer.hh: C++ source, ASCII text data/maude-3.1/src/Core/strategyDefinition.cc: C source, ASCII text data/maude-3.1/src/Core/termSet.hh: C++ source, ASCII text data/maude-3.1/src/Core/rewritingContext.hh: C++ source, ASCII text data/maude-3.1/src/Core/symbolMap.hh: C++ source, ASCII text data/maude-3.1/src/Core/ruleTable.hh: C++ source, ASCII text data/maude-3.1/src/Core/disjunctiveSubproblemAccumulator.hh: C++ source, ASCII text data/maude-3.1/src/Core/conditionState.hh: C++ source, ASCII text data/maude-3.1/src/Core/label.hh: C++ source, ASCII text data/maude-3.1/src/Core/copyRhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Core/narrowingVariableInfo.hh: C++ source, ASCII text data/maude-3.1/src/Core/rootContainer.hh: C++ source, ASCII text data/maude-3.1/src/Core/substitution.hh: C++ source, ASCII text data/maude-3.1/src/Core/equation.hh: C++ source, ASCII text data/maude-3.1/src/Core/dagRoot.cc: C source, ASCII text data/maude-3.1/src/Core/extensionMatchSubproblem.hh: C++ source, ASCII text data/maude-3.1/src/Core/module.cc: C source, ASCII text data/maude-3.1/src/Core/protectedDagNodeSet.cc: C source, ASCII text data/maude-3.1/src/Core/copyRhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/Core/strategy.cc: C source, ASCII text data/maude-3.1/src/Core/stackMachineRhsCompiler.cc: C source, ASCII text data/maude-3.1/src/Core/rewriteStrategy.hh: C++ source, ASCII text data/maude-3.1/src/Core/variableAbstractionSubproblem.cc: C source, ASCII text data/maude-3.1/src/Core/sortBdds.hh: C++ source, ASCII text data/maude-3.1/src/Core/connectedComponent.hh: C++ source, ASCII text data/maude-3.1/src/Core/sortConstraintTable.hh: C++ source, ASCII text data/maude-3.1/src/Core/equationTable.hh: C++ source, ASCII text data/maude-3.1/src/Core/substitution.cc: C source, ASCII text data/maude-3.1/src/Core/cachedDag.cc: C source, ASCII text data/maude-3.1/src/Core/dagNodeSet.hh: C++ source, ASCII text data/maude-3.1/src/Core/localBinding.cc: C source, ASCII text data/maude-3.1/src/Core/run.cc: ASCII text data/maude-3.1/src/Core/trivialRhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Core/bindingLhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/Core/opDeclaration.hh: C++ source, ASCII text data/maude-3.1/src/Core/memoTable.cc: C source, ASCII text data/maude-3.1/src/Core/rule.cc: C source, ASCII text data/maude-3.1/src/Core/returnInstruction.hh: C++ source, ASCII text data/maude-3.1/src/Core/subproblemDisjunction.hh: C++ source, ASCII text data/maude-3.1/src/Core/ruleTable.cc: C source, ASCII text data/maude-3.1/src/Core/dagNodeSet.cc: C source, ASCII text data/maude-3.1/src/Core/narrowingVariableInfo.cc: C source, ASCII text data/maude-3.1/src/Core/unificationSubproblemDisjunction.cc: C source, ASCII text data/maude-3.1/src/Core/compoundCycleSubproblem.hh: C++ source, ASCII text data/maude-3.1/src/Core/sortErrorAnalysis.cc: C source, ASCII text data/maude-3.1/src/Core/ctorDiagram.cc: ASCII text data/maude-3.1/src/Core/core.hh: C source, ASCII text data/maude-3.1/src/Core/bindingLhsAutomaton.hh: C++ source, ASCII text data/maude-3.1/src/Core/argumentIterator.hh: C++ source, ASCII text data/maude-3.1/src/Core/memoryCell.hh: C++ source, ASCII text data/maude-3.1/src/Core/localBinding.hh: C++ source, ASCII text data/maude-3.1/src/Core/dagRoot.hh: C++ source, ASCII text data/maude-3.1/src/Core/termBag.hh: C++ source, ASCII text data/maude-3.1/src/Core/unificationContext.cc: C source, ASCII text data/maude-3.1/src/Core/moduleItem.hh: C++ source, ASCII text data/maude-3.1/src/Core/argVec.hh: C++ source, ASCII text data/maude-3.1/src/Core/sortCheckSubproblem.cc: C source, ASCII text data/maude-3.1/src/Core/preEquation.hh: C++ source, ASCII text data/maude-3.1/src/Core/memoMap.cc: C source, ASCII text data/maude-3.1/src/Core/subproblemDisjunction.cc: C source, ASCII text data/maude-3.1/src/Core/compoundCycleSubproblem.cc: C source, ASCII text data/maude-3.1/src/Core/stackMachineRhsCompiler.hh: C++ source, ASCII text data/maude-3.1/src/Core/variableInfo.hh: C++ source, ASCII text data/maude-3.1/src/Core/memoryCell.cc: C source, ASCII text data/maude-3.1/src/Core/preEquation.cc: C source, ASCII text data/maude-3.1/src/Core/trivialRhsAutomaton.cc: C source, ASCII text data/maude-3.1/src/Core/unificationSubproblemDisjunction.hh: C++ source, ASCII text data/maude-3.1/src/Core/subproblemAccumulator.hh: C++ source, ASCII text data/maude-3.1/src/Core/termBag.cc: C source, ASCII text data/maude-3.1/src/Core/memoryInfo.hh: C++ source, ASCII text data/maude-3.1/src/Core/badFlag.hh: C++ source, ASCII text data/maude-3.1/src/Core/checkedArgVecConstIterator.hh: C++ source, ASCII text data/maude-3.1/src/Core/rawRootContainer.hh: C++ source, ASCII text data/maude-3.1/src/Core/sortTable.hh: C++ source, ASCII text data/maude-3.1/src/Core/returnInstruction.cc: C source, ASCII text data/maude-3.1/src/Core/strategyDefinition.hh: C++ source, ASCII text data/maude-3.1/src/Core/redexPosition.hh: C++ source, ASCII text data/maude-3.1/src/Core/rewriteStrategy.cc: C source, ASCII text data/maude-3.1/src/Core/subproblemSequence.hh: C++ source, ASCII text data/maude-3.1/src/Core/sortTable.cc: C source, ASCII text data/maude-3.1/src/Core/sortConstraint.hh: C++ source, ASCII text data/maude-3.1/src/Core/memoMap.hh: C++ source, ASCII text data/maude-3.1/src/Core/cachedDag.hh: C++ source, ASCII text data/maude-3.1/src/Core/protectedDagNodeSet.hh: C++ source, ASCII text data/maude-3.1/src/Core/hashConsSet.cc: C source, ASCII text data/maude-3.1/src/Core/memoTable.hh: C++ source, ASCII text data/maude-3.1/src/Core/termSet.cc: C source, ASCII text data/maude-3.1/src/Core/nullInstruction.hh: C++ source, ASCII text data/maude-3.1/src/Core/nullInstruction.cc: C source, ASCII text data/maude-3.1/src/Core/sort.cc: C source, ASCII text data/maude-3.1/src/Core/subproblemSequence.cc: C source, ASCII text data/maude-3.1/src/Core/equalitySubproblem.hh: C++ source, ASCII text data/maude-3.1/src/Core/rule.hh: C++ source, ASCII text data/maude-3.1/src/Core/namedEntity.hh: C++ source, ASCII text data/maude-3.1/src/Core/conditionFragment.hh: C++ source, ASCII text data/maude-3.1/src/Core/unificationContext.hh: C++ source, ASCII text data/maude-3.1/src/Core/disjunctiveSubproblemAccumulator.cc: C source, ASCII text data/maude-3.1/src/Core/pendingUnificationStack.cc: C source, ASCII text data/maude-3.1/src/Core/rhsBuilder.cc: C source, ASCII text data/maude-3.1/src/Core/strategy.hh: C++ source, ASCII text data/maude-3.1/src/Core/sortBdds.cc: C source, ASCII text data/maude-3.1/src/Core/stackMachine.cc: C source, ASCII text data/maude-3.1/src/Core/Makefile.in: makefile script, ASCII text, with very long lines data/maude-3.1/src/Core/pendingUnificationStack.hh: C++ source, ASCII text data/maude-3.1/src/Core/equalitySubproblem.cc: C source, ASCII text data/maude-3.1/COPYING: ASCII text data/maude-3.1/m4/ax_have_poll.m4: M4 macro processor script, ASCII text data/maude-3.1/NEWS: UTF-8 Unicode text data/maude-3.1/test-driver: POSIX shell script, ASCII text executable, with escape sequences data/maude-3.1/AUTHORS: UTF-8 Unicode text data/maude-3.1/README: ASCII text data/maude-3.1/configure: POSIX shell script, ASCII text executable, with very long lines data/maude-3.1/aclocal.m4: M4 macro processor script, ASCII text data/maude-3.1/config.guess: POSIX shell script, ASCII text executable data/maude-3.1/install-sh: POSIX shell script, ASCII text executable data/maude-3.1/Makefile.in: makefile script, ASCII text data/maude-3.1/debian/changelog: UTF-8 Unicode text data/maude-3.1/debian/control: ASCII text data/maude-3.1/debian/copyright: ASCII text data/maude-3.1/debian/manpages: ASCII text data/maude-3.1/debian/maude.1: troff or preprocessor input, ASCII text data/maude-3.1/debian/patches/getinput-size_t.patch: unified diff output, ASCII text data/maude-3.1/debian/patches/search-datadir.patch: unified diff output, ASCII text data/maude-3.1/debian/patches/series: ASCII text data/maude-3.1/debian/patches/strip-build-date.patch: unified diff output, UTF-8 Unicode text data/maude-3.1/debian/rules: a /usr/bin/make -f script, ASCII text executable data/maude-3.1/debian/salsa-ci.yml: ASCII text data/maude-3.1/debian/source/format: ASCII text data/maude-3.1/debian/upstream/metadata: ASCII text data/maude-3.1/debian/watch: ASCII text data/maude-3.1/.pc/.version: ASCII text data/maude-3.1/.pc/.quilt_patches: ASCII text data/maude-3.1/.pc/.quilt_series: ASCII text data/maude-3.1/.pc/applied-patches: ASCII text data/maude-3.1/.pc/search-datadir.patch/src/Main/main.cc: C source, ASCII text data/maude-3.1/.pc/search-datadir.patch/src/Mixfix/global.cc: C source, ASCII text data/maude-3.1/.pc/search-datadir.patch/src/Mixfix/global.hh: C source, ASCII text data/maude-3.1/.pc/getinput-size_t.patch/src/Mixfix/lexerAux.cc: ASCII text data/maude-3.1/.pc/strip-build-date.patch/src/Mixfix/banner.cc: C++ source, ASCII text