data/maude-3.1/ChangeLog:574: verison ==> version
data/maude-3.1/INSTALL:49: ealier ==> earlier
data/maude-3.1/config.sub:647: msdos ==> ms-dos
data/maude-3.1/NEWS:32: feautures ==> features
data/maude-3.1/NEWS:37: abreviation ==> abbreviation
data/maude-3.1/NEWS:208: consistancy ==> consistency
data/maude-3.1/NEWS:288: occuring ==> occurring
data/maude-3.1/NEWS:306: configuation ==> configuration
data/maude-3.1/NEWS:518: performace ==> performance
data/maude-3.1/NEWS:529: recusion ==> recursion, reclusion
data/maude-3.1/NEWS:547: strat ==> start, strata
data/maude-3.1/NEWS:572: extranous ==> extraneous
data/maude-3.1/NEWS:585: synchonization ==> synchronization
data/maude-3.1/NEWS:700: suppport ==> support
data/maude-3.1/NEWS:717: srew ==> screw, shrew, sew
data/maude-3.1/NEWS:811: consistancy ==> consistency
data/maude-3.1/NEWS:898: corectly ==> correctly
data/maude-3.1/config.guess:142: tupples ==> tuples
data/maude-3.1/config.guess:320: Ake ==> Ache
data/maude-3.1/tests/StrategyLanguage/modules.expected:211: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:11: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:24: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:32: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:38: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:42: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/modules.maude:61: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:61: assignement ==> assignment
data/maude-3.1/tests/StrategyLanguage/modules.maude:62: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:63: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:82: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/modules.maude:83: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/modules.maude:84: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/modules.maude:98: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:99: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:124: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/modules.maude:128: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/modules.maude:129: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/metalevel.expected:13: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.expected:63: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.expected:78: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.expected:84: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.expected:96: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.expected:104: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.expected:222: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:26: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:32: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:33: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:35: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:98: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:100: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:105: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:106: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/srewrite.maude:143: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.maude:18: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.maude:24: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.maude:36: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.maude:41: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/metalevel.maude:119: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/parameterization.maude:9: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/parameterization.maude:14: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/parameterization.maude:43: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/parameterization.maude:51: srew ==> screw, shrew, sew
data/maude-3.1/tests/StrategyLanguage/parameterization.maude:109: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/parameterization.maude:110: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/parameterization.maude:121: strat ==> start, strata
data/maude-3.1/tests/StrategyLanguage/parameterization.maude:128: srew ==> screw, shrew, sew
data/maude-3.1/tests/Meta/metaUp2.expected:486: strat ==> start, strata
data/maude-3.1/tests/Meta/metaUp2.expected:495: strat ==> start, strata
data/maude-3.1/tests/Meta/metaUp2.expected:2692: strat ==> start, strata
data/maude-3.1/tests/Meta/metaUp2.expected:2701: strat ==> start, strata
data/maude-3.1/tests/Meta/metaUp2.expected:5910: strat ==> start, strata
data/maude-3.1/tests/Meta/metaUp2.expected:5919: strat ==> start, strata
data/maude-3.1/tests/Meta/metaReduce.expected:18: strat ==> start, strata
data/maude-3.1/tests/Meta/metaReduce.expected:31: strat ==> start, strata
data/maude-3.1/tests/Meta/metaReduce.maude:27: strat ==> start, strata
data/maude-3.1/tests/Meta/metaReduce.maude:40: strat ==> start, strata
data/maude-3.1/tests/Misc/badView.maude:61: trigged ==> triggered
data/maude-3.1/tests/Misc/dekker.maude:49: trival ==> trivial
data/maude-3.1/tests/Misc/dekker.maude:49: langauge ==> language
data/maude-3.1/tests/Misc/parameterization.maude:110: occuring ==> occurring
data/maude-3.1/tests/Misc/assocUnification.maude:57: occuring ==> occurring
data/maude-3.1/tests/Misc/assocUnification.maude:83: occuring ==> occurring
data/maude-3.1/tests/Misc/continue.maude:133: srew ==> screw, shrew, sew
data/maude-3.1/src/Main/prelude.maude:86: strat ==> start, strata
data/maude-3.1/src/Main/prelude.maude:87: strat ==> start, strata
data/maude-3.1/src/Main/prelude.maude:1832: strat ==> start, strata
data/maude-3.1/src/Main/prelude.maude:2083: strat ==> start, strata
data/maude-3.1/src/Main/prelude.maude:2503: strat ==> start, strata
data/maude-3.1/src/Main/machine-int.maude:29: instanciated ==> instantiated
data/maude-3.1/src/Main/main.cc:76: declatations ==> declarations
data/maude-3.1/src/Main/main.cc:271: tRun ==> turn
data/maude-3.1/src/Main/main.cc:272: tRun ==> turn
data/maude-3.1/src/Higher/ChangeLog:137: consistancy ==> consistency
data/maude-3.1/src/Higher/ChangeLog:343: refered ==> referred
data/maude-3.1/src/Higher/ChangeLog:375: hande ==> handle, hand
data/maude-3.1/src/Higher/ChangeLog:422: searchs ==> searches
data/maude-3.1/src/Higher/ChangeLog:603: neeed ==> need
data/maude-3.1/src/Higher/ChangeLog:899: ther ==> there, their, the, other
data/maude-3.1/src/Higher/ChangeLog:927: hande ==> handle, hand
data/maude-3.1/src/Higher/ChangeLog:1274: suble ==> subtle
data/maude-3.1/src/Higher/ChangeLog:1289: tranfer ==> transfer
data/maude-3.1/src/Higher/ChangeLog:1572: occuring ==> occurring
data/maude-3.1/src/Higher/ChangeLog:2206: occuring ==> occurring
data/maude-3.1/src/Higher/ChangeLog:2375: substition ==> substitution
data/maude-3.1/src/Higher/ChangeLog:2473: thoughout ==> throughout
data/maude-3.1/src/Higher/ChangeLog:3027: commments ==> comments
data/maude-3.1/src/Higher/ChangeLog:3159: acutal ==> actual
data/maude-3.1/src/Higher/ChangeLog:3166: subsitution ==> substitution
data/maude-3.1/src/Higher/ChangeLog:3611: caling ==> calling, scaling, culling
data/maude-3.1/src/Higher/ChangeLog:3617: constrcution ==> construction
data/maude-3.1/src/Higher/ChangeLog:3694: Symbo ==> Symbol
data/maude-3.1/src/Higher/ChangeLog:3973: beacuse ==> because
data/maude-3.1/src/Higher/ChangeLog:4145: upto ==> up to
data/maude-3.1/src/Higher/ChangeLog:4226: substition ==> substitution
data/maude-3.1/src/Higher/positionState.hh:26: indicies ==> indices
data/maude-3.1/src/Higher/positionState.hh:48: possibily ==> possibly
data/maude-3.1/src/Higher/variantSearch.cc:137: aready ==> already
data/maude-3.1/src/Higher/unificationProblem.hh:50: overriden ==> overridden
data/maude-3.1/src/Higher/narrowingSearchState2.hh:98: emty ==> empty
data/maude-3.1/src/Higher/narrowingSequenceSearch3.cc:257: fo ==> of, for
data/maude-3.1/src/Higher/narrowingUnificationProblem.cc:492: occurances ==> occurrences
data/maude-3.1/src/Higher/narrowingUnificationProblem.cc:496: intially ==> initially
data/maude-3.1/src/Higher/variantUnificationProblem.hh:81: overriden ==> overridden
data/maude-3.1/src/Higher/unificationProblem.cc:434: occurences ==> occurrences
data/maude-3.1/src/Higher/variantFolder.hh:118: occuring ==> occurring
data/maude-3.1/src/Higher/variantNarrowingSearchState.cc:89: occuring ==> occurring
data/maude-3.1/src/Higher/variantNarrowingSearchState.cc:296: upto ==> up to
data/maude-3.1/src/Higher/variantNarrowingSearchState.cc:307: upto ==> up to
data/maude-3.1/src/Higher/narrowingUnificationProblem.hh:101: appearence ==> appearance
data/maude-3.1/src/AU_Theory/ChangeLog:167: commment ==> comment
data/maude-3.1/src/AU_Theory/ChangeLog:344: addded ==> added
data/maude-3.1/src/AU_Theory/ChangeLog:505: arguements ==> arguments
data/maude-3.1/src/AU_Theory/ChangeLog:509: arguements ==> arguments
data/maude-3.1/src/AU_Theory/ChangeLog:875: DEQUED ==> DEQUEUED
data/maude-3.1/src/AU_Theory/ChangeLog:907: DEQUED ==> DEQUEUED
data/maude-3.1/src/AU_Theory/ChangeLog:1459: attendent ==> attendant
data/maude-3.1/src/AU_Theory/ChangeLog:1708: brefore ==> before
data/maude-3.1/src/AU_Theory/ChangeLog:1945: ther ==> there, their, the, other
data/maude-3.1/src/AU_Theory/ChangeLog:2156: implicity ==> implicitly
data/maude-3.1/src/AU_Theory/ChangeLog:2223: explicity ==> explicitly
data/maude-3.1/src/AU_Theory/ChangeLog:2287: conatins ==> contains
data/maude-3.1/src/AU_Theory/AU_LhsCompiler.cc:61: guarentee ==> guarantee
data/maude-3.1/src/AU_Theory/AU_CollapseMatcher.cc:66: varible ==> variable
data/maude-3.1/src/AU_Theory/AU_CollapseMatcher.cc:225: entension ==> extension
data/maude-3.1/src/AU_Theory/AU_Term.cc:110: situtation ==> situation
data/maude-3.1/src/AU_Theory/AU_Term.cc:325: strat ==> start, strata
data/maude-3.1/src/AU_Theory/AU_Term.cc:326: strat ==> start, strata
data/maude-3.1/src/AU_Theory/AU_Term.cc:327: strat ==> start, strata
data/maude-3.1/src/AU_Theory/AU_Term.cc:432: wether ==> weather, whether
data/maude-3.1/src/AU_Theory/AU_Term.cc:457: strat ==> start, strata
data/maude-3.1/src/AU_Theory/AU_Term.cc:458: strat ==> start, strata
data/maude-3.1/src/AU_Theory/AU_Term.cc:459: strat ==> start, strata
data/maude-3.1/src/AU_Theory/AU_Term.cc:474: occurences ==> occurrences
data/maude-3.1/src/AU_Theory/ChangeLog.A_Theory:170: chaged ==> changed, charged
data/maude-3.1/src/AU_Theory/ChangeLog.A_Theory:388: infomation ==> information
data/maude-3.1/src/AU_Theory/AU_Symbol.cc:167: DEQUED ==> DEQUEUED
data/maude-3.1/src/AU_Theory/AU_Symbol.cc:168: DEQUED ==> DEQUEUED
data/maude-3.1/src/AU_Theory/AU_Symbol.cc:251: strat ==> start, strata
data/maude-3.1/src/AU_Theory/AU_Symbol.cc:252: strat ==> start, strata
data/maude-3.1/src/AU_Theory/AU_LhsAutomaton.hh:164: preceeding ==> preceding, proceeding
data/maude-3.1/src/AU_Theory/AU_Normalize.cc:128: DEQUED ==> DEQUEUED
data/maude-3.1/src/AU_Theory/AU_Normalize.cc:176: invarient ==> invariant
data/maude-3.1/src/AU_Theory/AU_Normalize.cc:213: vunerable ==> vulnerable
data/maude-3.1/src/AU_Theory/AU_Normalize.cc:224: DEQUED ==> DEQUEUED
data/maude-3.1/src/AU_Theory/AU_DagNode.hh:93: DEQUED ==> DEQUEUED
data/maude-3.1/src/AU_Theory/AU_Matcher.cc:378: inconsistant ==> inconsistent
data/maude-3.1/src/AU_Theory/AU_Symbol.hh:55: overiding ==> overriding
data/maude-3.1/src/AU_Theory/AU_GreedyMatcher.cc:236: preceeding ==> preceding, proceeding
data/maude-3.1/src/BuiltIn/ChangeLog:347: homogenous ==> homogeneous
data/maude-3.1/src/BuiltIn/ChangeLog:348: inhomogenous ==> inhomogeneous
data/maude-3.1/src/BuiltIn/ChangeLog:357: addded ==> added
data/maude-3.1/src/BuiltIn/ChangeLog:405: homogenous ==> homogeneous
data/maude-3.1/src/BuiltIn/ChangeLog:406: inhomogenous ==> inhomogeneous
data/maude-3.1/src/BuiltIn/ChangeLog:456: plaforms ==> platforms
data/maude-3.1/src/BuiltIn/ChangeLog:463: consistancy ==> consistency
data/maude-3.1/src/BuiltIn/ChangeLog:465: consistancy ==> consistency
data/maude-3.1/src/BuiltIn/ChangeLog:468: consistancy ==> consistency
data/maude-3.1/src/BuiltIn/ChangeLog:470: consistancy ==> consistency
data/maude-3.1/src/BuiltIn/ChangeLog:2139: defualt ==> default
data/maude-3.1/src/BuiltIn/ChangeLog:2234: acessing ==> accessing
data/maude-3.1/src/BuiltIn/ChangeLog:2335: whcih ==> which
data/maude-3.1/src/BuiltIn/ChangeLog:2461: sucessful ==> successful
data/maude-3.1/src/BuiltIn/ChangeLog:2558: sharable ==> shareable
data/maude-3.1/src/BuiltIn/ChangeLog:2560: sharable ==> shareable
data/maude-3.1/src/BuiltIn/stringOpSymbol.hh:59: Tha ==> Than, that, the
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:298: homogenous ==> homogeneous
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:299: inhomogenous ==> inhomogeneous
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:338: homogenous ==> homogeneous
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:340: inhomogenous ==> inhomogeneous
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:348: homogenous ==> homogeneous
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:350: inhomogenous ==> inhomogeneous
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:358: inhomogenous ==> inhomogeneous
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:359: inhomogenous ==> inhomogeneous
data/maude-3.1/src/BuiltIn/matrixOpSymbol.cc:359: homogenous ==> homogeneous
data/maude-3.1/src/BuiltIn/numberOpSymbol.cc:277: raison ==> reason, raisin
data/maude-3.1/src/BuiltIn/equalityExtor.cc:76: approriate ==> appropriate
data/maude-3.1/src/BuiltIn/equalityExtor.cc:88: addres ==> address
data/maude-3.1/src/BuiltIn/equalityExtorFinal.cc:49: approriate ==> appropriate
data/maude-3.1/src/IO_Stuff/ChangeLog:58: repect ==> respect
data/maude-3.1/src/IO_Stuff/ChangeLog:71: upated ==> updated
data/maude-3.1/src/Variable/ChangeLog:163: guarenteed ==> guaranteed
data/maude-3.1/src/Variable/variableSymbol.cc:56: useable ==> usable
data/maude-3.1/src/Variable/variableSymbol.cc:63: useable ==> usable
data/maude-3.1/src/Variable/variableDagNode.hh:64: indicies ==> indices
data/maude-3.1/src/Variable/variableDagNode.hh:69: indicies ==> indices
data/maude-3.1/src/Variable/variableDagNode.cc:153: seach ==> search
data/maude-3.1/src/Variable/variableDagNode.cc:252: thoughout ==> throughout
data/maude-3.1/src/Variable/variableDagNode.cc:298: indicies ==> indices
data/maude-3.1/src/Variable/variableDagNode.cc:300: indicies ==> indices
data/maude-3.1/src/AU_Persistent/ChangeLog:54: fo ==> of, for
data/maude-3.1/src/AU_Persistent/AU_StackSort.cc:24: presistent ==> persistent
data/maude-3.1/src/AU_Persistent/AU_Persistent.hh:24: peristent ==> persistent
data/maude-3.1/src/CUI_Theory/ChangeLog:802: ther ==> there, their, the, other
data/maude-3.1/src/CUI_Theory/ChangeLog:802: non-existant ==> non-existent
data/maude-3.1/src/CUI_Theory/ChangeLog:1042: memebers ==> members
data/maude-3.1/src/CUI_Theory/ChangeLog:1066: seperate ==> separate
data/maude-3.1/src/CUI_Theory/ChangeLog:1073: memeber ==> member
data/maude-3.1/src/CUI_Theory/CUI_Symbol.hh:61: overiding ==> overriding
data/maude-3.1/src/Parser/ChangeLog:284: doensn't ==> doesn't
data/maude-3.1/src/Parser/ChangeLog:516: withe ==> with
data/maude-3.1/src/Parser/ChangeLog:631: retuns ==> returns
data/maude-3.1/src/Parser/bubble.cc:62: exluded ==> excluded, exuded
data/maude-3.1/src/Mixfix/ChangeLog:259: Intepreter ==> Interpreter
data/maude-3.1/src/Mixfix/ChangeLog:698: withe ==> with
data/maude-3.1/src/Mixfix/ChangeLog:1097: verions ==> versions
data/maude-3.1/src/Mixfix/ChangeLog:1176: addes ==> adds
data/maude-3.1/src/Mixfix/ChangeLog:1334: arugment ==> argument
data/maude-3.1/src/Mixfix/ChangeLog:1416: alrady ==> already
data/maude-3.1/src/Mixfix/ChangeLog:1461: arugment ==> argument
data/maude-3.1/src/Mixfix/ChangeLog:1499: arugments ==> arguments
data/maude-3.1/src/Mixfix/ChangeLog:1606: Argumetn ==> Argument
data/maude-3.1/src/Mixfix/ChangeLog:2133: evalutate ==> evaluate
data/maude-3.1/src/Mixfix/ChangeLog:2253: srew ==> screw, shrew, sew
data/maude-3.1/src/Mixfix/ChangeLog:2255: srew ==> screw, shrew, sew
data/maude-3.1/src/Mixfix/ChangeLog:2264: srew ==> screw, shrew, sew
data/maude-3.1/src/Mixfix/ChangeLog:2384: implmented ==> implemented
data/maude-3.1/src/Mixfix/ChangeLog:2409: hande ==> handle, hand
data/maude-3.1/src/Mixfix/ChangeLog:2483: suble ==> subtle
data/maude-3.1/src/Mixfix/ChangeLog:3042: strat ==> start, strata
data/maude-3.1/src/Mixfix/ChangeLog:3182: hanlde ==> handle
data/maude-3.1/src/Mixfix/ChangeLog:3412: delet ==> delete
data/maude-3.1/src/Mixfix/ChangeLog:4083: hande ==> handle, hand
data/maude-3.1/src/Mixfix/ChangeLog:4138: varaible ==> variable
data/maude-3.1/src/Mixfix/ChangeLog:4460: addd ==> add
data/maude-3.1/src/Mixfix/ChangeLog:4492: addded ==> added
data/maude-3.1/src/Mixfix/ChangeLog:4751: reenable ==> re-enable
data/maude-3.1/src/Mixfix/ChangeLog:4753: reenable ==> re-enable
data/maude-3.1/src/Mixfix/ChangeLog:4821: hande ==> handle, hand
data/maude-3.1/src/Mixfix/ChangeLog:4955: charater ==> character
data/maude-3.1/src/Mixfix/ChangeLog:5282: aviod ==> avoid
data/maude-3.1/src/Mixfix/ChangeLog:5880: thoughout ==> throughout
data/maude-3.1/src/Mixfix/ChangeLog:6133: verison ==> version
data/maude-3.1/src/Mixfix/ChangeLog:6964: watn ==> want
data/maude-3.1/src/Mixfix/ChangeLog:6991: addded ==> added
data/maude-3.1/src/Mixfix/ChangeLog:7027: vesions ==> versions
data/maude-3.1/src/Mixfix/ChangeLog:7768: substract ==> subtract
data/maude-3.1/src/Mixfix/ChangeLog:7922: parmeters ==> parameters
data/maude-3.1/src/Mixfix/ChangeLog:7946: seperate ==> separate
data/maude-3.1/src/Mixfix/ChangeLog:7983: addded ==> added
data/maude-3.1/src/Mixfix/ChangeLog:8379: deletd ==> deleted
data/maude-3.1/src/Mixfix/ChangeLog:8576: explicity ==> explicitly
data/maude-3.1/src/Mixfix/ChangeLog:8873: compatibity ==> compatibility
data/maude-3.1/src/Mixfix/ChangeLog:9284: seperated ==> separated
data/maude-3.1/src/Mixfix/ChangeLog:9326: proble ==> probe
data/maude-3.1/src/Mixfix/ChangeLog:9326: empy ==> empty
data/maude-3.1/src/Mixfix/ChangeLog:9497: dupicate ==> duplicate
data/maude-3.1/src/Mixfix/ChangeLog:9707: repaced ==> replaced
data/maude-3.1/src/Mixfix/ChangeLog:9740: intialization ==> initialization
data/maude-3.1/src/Mixfix/ChangeLog:9746: upated ==> updated
data/maude-3.1/src/Mixfix/ChangeLog:10128: cleaness ==> cleanness
data/maude-3.1/src/Mixfix/ChangeLog:10511: connnected ==> connected
data/maude-3.1/src/Mixfix/ChangeLog:11142: accomodate ==> accommodate
data/maude-3.1/src/Mixfix/ChangeLog:11158: memeber ==> member
data/maude-3.1/src/Mixfix/ChangeLog:11615: statment ==> statement
data/maude-3.1/src/Mixfix/ChangeLog:12072: deletd ==> deleted
data/maude-3.1/src/Mixfix/ChangeLog:12855: addded ==> added
data/maude-3.1/src/Mixfix/ChangeLog:12996: udated ==> updated, dated
data/maude-3.1/src/Mixfix/ChangeLog:13256: otehr ==> other
data/maude-3.1/src/Mixfix/ChangeLog:13427: attching ==> attaching
data/maude-3.1/src/Mixfix/ChangeLog:14024: contruction ==> construction
data/maude-3.1/src/Mixfix/ChangeLog:14024: aviod ==> avoid
data/maude-3.1/src/Mixfix/ChangeLog:14307: infor ==> info
data/maude-3.1/src/Mixfix/ChangeLog:14447: arround ==> around
data/maude-3.1/src/Mixfix/ChangeLog:14626: useing ==> using
data/maude-3.1/src/Mixfix/ChangeLog:14865: indentifier ==> identifier
data/maude-3.1/src/Mixfix/ChangeLog:14885: occuring ==> occurring
data/maude-3.1/src/Mixfix/ChangeLog:15007: bewteen ==> between
data/maude-3.1/src/Mixfix/ChangeLog:15094: existance ==> existence
data/maude-3.1/src/Mixfix/ChangeLog:15379: hanle ==> handle
data/maude-3.1/src/Mixfix/ChangeLog:15468: alway ==> always
data/maude-3.1/src/Mixfix/ChangeLog:15470: afer ==> after
data/maude-3.1/src/Mixfix/ChangeLog:15480: guarentee ==> guarantee
data/maude-3.1/src/Mixfix/ChangeLog:15576: tha ==> than, that, the
data/maude-3.1/src/Mixfix/ChangeLog:15622: thoughout ==> throughout
data/maude-3.1/src/Mixfix/ChangeLog:15627: thoughout ==> throughout
data/maude-3.1/src/Mixfix/ChangeLog:15629: thoughout ==> throughout
data/maude-3.1/src/Mixfix/ChangeLog:15631: thoughout ==> throughout
data/maude-3.1/src/Mixfix/ChangeLog:15664: outputing ==> outputting
data/maude-3.1/src/Mixfix/ChangeLog:15677: ther ==> there, their, the, other
data/maude-3.1/src/Mixfix/ChangeLog:15689: incase ==> in case
data/maude-3.1/src/Mixfix/ChangeLog:15749: destrcut ==> destruct
data/maude-3.1/src/Mixfix/ChangeLog:15801: sucesfully ==> successfully
data/maude-3.1/src/Mixfix/ChangeLog:16027: neccessary ==> necessary
data/maude-3.1/src/Mixfix/ChangeLog:16063: neccessary ==> necessary
data/maude-3.1/src/Mixfix/ChangeLog:16587: traslation ==> translation
data/maude-3.1/src/Mixfix/ChangeLog:16747: exlcude ==> exclude
data/maude-3.1/src/Mixfix/ChangeLog:16747: toekn ==> token
data/maude-3.1/src/Mixfix/ChangeLog:16997: paser ==> parser
data/maude-3.1/src/Mixfix/ChangeLog:17188: tha ==> than, that, the
data/maude-3.1/src/Mixfix/ChangeLog:17657: poping ==> popping, pooping
data/maude-3.1/src/Mixfix/ChangeLog:17737: existance ==> existence
data/maude-3.1/src/Mixfix/ChangeLog:17856: usng ==> using
data/maude-3.1/src/Mixfix/ChangeLog:17998: strat ==> start, strata
data/maude-3.1/src/Mixfix/ChangeLog:18065: arround ==> around
data/maude-3.1/src/Mixfix/ChangeLog:18250: incompatable ==> incompatible
data/maude-3.1/src/Mixfix/ChangeLog:18280: taht ==> that
data/maude-3.1/src/Mixfix/ChangeLog:18308: fisrt ==> first
data/maude-3.1/src/Mixfix/ChangeLog:18401: incompatable ==> incompatible
data/maude-3.1/src/Mixfix/ChangeLog:18477: non-existant ==> non-existent
data/maude-3.1/src/Mixfix/ChangeLog:18546: consistancy ==> consistency
data/maude-3.1/src/Mixfix/ChangeLog:18552: consistant ==> consistent
data/maude-3.1/src/Mixfix/ChangeLog:18613: thats ==> that's
data/maude-3.1/src/Mixfix/ChangeLog:18666: immediatly ==> immediately
data/maude-3.1/src/Mixfix/ChangeLog:18903: interrrupt ==> interrupt
data/maude-3.1/src/Mixfix/ChangeLog:18930: processs ==> process
data/maude-3.1/src/Mixfix/ChangeLog:18934: consistant ==> consistent
data/maude-3.1/src/Mixfix/ChangeLog:19024: consistant ==> consistent
data/maude-3.1/src/Mixfix/ChangeLog:19025: consistant ==> consistent
data/maude-3.1/src/Mixfix/ChangeLog:19030: occuring ==> occurring
data/maude-3.1/src/Mixfix/ChangeLog:19237: thoughout ==> throughout
data/maude-3.1/src/Mixfix/ChangeLog:19270: non-existant ==> non-existent
data/maude-3.1/src/Mixfix/ChangeLog:19289: arround ==> around
data/maude-3.1/src/Mixfix/ChangeLog:19508: simpified ==> simplified
data/maude-3.1/src/Mixfix/ChangeLog:19531: begining ==> beginning
data/maude-3.1/src/Mixfix/ChangeLog:19619: memebrs ==> members
data/maude-3.1/src/Mixfix/ChangeLog:19980: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/ChangeLog:19983: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/ChangeLog:19990: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/ChangeLog:20088: tha ==> than, that, the
data/maude-3.1/src/Mixfix/ChangeLog:20124: non-existant ==> non-existent
data/maude-3.1/src/Mixfix/ChangeLog:20492: strat ==> start, strata
data/maude-3.1/src/Mixfix/ChangeLog:20527: commmands ==> commands
data/maude-3.1/src/Mixfix/ChangeLog:20787: approriate ==> appropriate
data/maude-3.1/src/Mixfix/prettyPrint.cc:235: strat ==> start, strata
data/maude-3.1/src/Mixfix/prettyPrint.cc:258: strat ==> start, strata
data/maude-3.1/src/Mixfix/unify.cc:84: outputing ==> outputting
data/maude-3.1/src/Mixfix/importTranslation.cc:132: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.cc:134: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.cc:143: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.cc:147: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.cc:153: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.cc:201: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.cc:248: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.cc:251: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.cc:296: withing ==> within
data/maude-3.1/src/Mixfix/importTranslation.cc:320: occurance ==> occurrence
data/maude-3.1/src/Mixfix/auxProperty.cc:40: addess ==> address
data/maude-3.1/src/Mixfix/auxProperty.cc:40: charater ==> character
data/maude-3.1/src/Mixfix/importTranslation.hh:52: strat ==> start, strata
data/maude-3.1/src/Mixfix/importTranslation.hh:70: strat ==> start, strata
data/maude-3.1/src/Mixfix/ops.cc:331: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/ops.cc:355: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/mixfixModule.hh:141: strat ==> start, strata
data/maude-3.1/src/Mixfix/mixfixModule.hh:1025: funtional ==> functional
data/maude-3.1/src/Mixfix/instantiateModuleWithBoundParameters.cc:80: orginal ==> original
data/maude-3.1/src/Mixfix/lexer.ll:164: srew ==> screw, shrew, sew
data/maude-3.1/src/Mixfix/lexer.ll:222: strat ==> start, strata
data/maude-3.1/src/Mixfix/lexer.ll:316: strat ==> start, strata
data/maude-3.1/src/Mixfix/lexer.ll:420: strat ==> start, strata
data/maude-3.1/src/Mixfix/lexer.ll:476: strat ==> start, strata
data/maude-3.1/src/Mixfix/symbolType.hh:101: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/symbolType.hh:131: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/strategyTranslation.cc:158: te ==> the, be, we
data/maude-3.1/src/Mixfix/strategyTranslation.cc:216: strat ==> start, strata
data/maude-3.1/src/Mixfix/strategyTranslation.cc:328: te ==> the, be, we
data/maude-3.1/src/Mixfix/strategyTranslation.cc:397: unknow ==> unknown
data/maude-3.1/src/Mixfix/command.cc:165: strat ==> start, strata
data/maude-3.1/src/Mixfix/command.cc:264: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/command.cc:266: strat ==> start, strata
data/maude-3.1/src/Mixfix/instantiateViewWithFreeParameters.cc:129: strat ==> start, strata
data/maude-3.1/src/Mixfix/instantiateViewWithFreeParameters.cc:355: parmeter ==> parameter
data/maude-3.1/src/Mixfix/instantiateViewWithFreeParameters.cc:423: paramters ==> parameters
data/maude-3.1/src/Mixfix/instantiateViewWithFreeParameters.cc:428: recieve ==> receive
data/maude-3.1/src/Mixfix/instantiateViewWithFreeParameters.cc:556: implicity ==> implicitly
data/maude-3.1/src/Mixfix/instantiateViewWithFreeParameters.cc:798: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.hh:65: strat ==> start, strata
data/maude-3.1/src/Mixfix/search.cc:141: seach ==> search
data/maude-3.1/src/Mixfix/match.cc:124: outputing ==> outputting
data/maude-3.1/src/Mixfix/modules.yy:335: strat ==> start, strata
data/maude-3.1/src/Mixfix/modules.yy:733: ony ==> only
data/maude-3.1/src/Mixfix/makeGrammar.cc:261: occuring ==> occurring
data/maude-3.1/src/Mixfix/makeGrammar.cc:312: wiht ==> with
data/maude-3.1/src/Mixfix/token.cc:63: seperator ==> separator
data/maude-3.1/src/Mixfix/token.cc:70: seperator ==> separator
data/maude-3.1/src/Mixfix/interact.cc:44: exeception ==> exception
data/maude-3.1/src/Mixfix/interact.cc:79: interrrupted ==> interrupted
data/maude-3.1/src/Mixfix/interact.cc:97: memeory ==> memory
data/maude-3.1/src/Mixfix/mixfixParser.cc:307: ambigous ==> ambiguous
data/maude-3.1/src/Mixfix/mixfixParser.cc:322: ambigous ==> ambiguous
data/maude-3.1/src/Mixfix/mixfixParser.cc:423: strat ==> start, strata
data/maude-3.1/src/Mixfix/mixfixParser.cc:425: strat ==> start, strata
data/maude-3.1/src/Mixfix/token.hh:115: seperator ==> separator
data/maude-3.1/src/Mixfix/renaming.cc:201: strat ==> start, strata
data/maude-3.1/src/Mixfix/renaming.cc:284: orginal ==> original
data/maude-3.1/src/Mixfix/renaming.cc:402: strat ==> start, strata
data/maude-3.1/src/Mixfix/renaming.cc:408: strat ==> start, strata
data/maude-3.1/src/Mixfix/renaming.cc:417: strat ==> start, strata
data/maude-3.1/src/Mixfix/renaming.cc:430: strat ==> start, strata
data/maude-3.1/src/Mixfix/renaming.cc:466: strat ==> start, strata
data/maude-3.1/src/Mixfix/renaming.cc:755: strat ==> start, strata
data/maude-3.1/src/Mixfix/renaming.cc:1114: strat ==> start, strata
data/maude-3.1/src/Mixfix/instantiateModuleWithFreeParameters.cc:369: paramters ==> parameters
data/maude-3.1/src/Mixfix/instantiateModuleWithFreeParameters.cc:374: recieve ==> receive
data/maude-3.1/src/Mixfix/entry.cc:244: orginal ==> original
data/maude-3.1/src/Mixfix/entry.cc:382: build-in ==> built-in
data/maude-3.1/src/Mixfix/entry.cc:383: abiguity ==> ambiguity
data/maude-3.1/src/Mixfix/entry.cc:960: strat ==> start, strata
data/maude-3.1/src/Mixfix/entry.cc:967: strat ==> start, strata
data/maude-3.1/src/Mixfix/entry.cc:973: strat ==> start, strata
data/maude-3.1/src/Mixfix/entry.cc:973: strat ==> start, strata
data/maude-3.1/src/Mixfix/entry.cc:977: strat ==> start, strata
data/maude-3.1/src/Mixfix/entry.cc:982: strat ==> start, strata
data/maude-3.1/src/Mixfix/enclosingObject.hh:94: explicity ==> explicitly
data/maude-3.1/src/Mixfix/tokenizer.ll:41: charater ==> character
data/maude-3.1/src/Mixfix/variantUnify.cc:135: outputing ==> outputting
data/maude-3.1/src/Mixfix/variableGenerator.cc:48: defintions ==> definitions
data/maude-3.1/src/Mixfix/view.cc:138: arugments ==> arguments
data/maude-3.1/src/Mixfix/view.cc:230: paremeters ==> parameters
data/maude-3.1/src/Mixfix/view.cc:495: componets ==> components
data/maude-3.1/src/Mixfix/view.cc:528: strat ==> start, strata
data/maude-3.1/src/Mixfix/view.cc:538: strat ==> start, strata
data/maude-3.1/src/Mixfix/view.cc:707: strat ==> start, strata
data/maude-3.1/src/Mixfix/view.cc:714: strat ==> start, strata
data/maude-3.1/src/Mixfix/view.cc:1073: strat ==> start, strata
data/maude-3.1/src/Mixfix/importModule.hh:110: strat ==> start, strata
data/maude-3.1/src/Mixfix/importModule.hh:114: strat ==> start, strata
data/maude-3.1/src/Mixfix/importModule.hh:188: strat ==> start, strata
data/maude-3.1/src/Mixfix/importModule.hh:533: strat ==> start, strata
data/maude-3.1/src/Mixfix/importModule.hh:560: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:176: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:183: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:453: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:455: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:456: te ==> the, be, we
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:456: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:458: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:477: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:508: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:516: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:522: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:528: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:534: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:550: te ==> the, be, we
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:550: strat ==> start, strata
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:557: ue ==> use, due
data/maude-3.1/src/Mixfix/maudemlBuffer.cc:557: strat ==> start, strata
data/maude-3.1/src/Mixfix/syntaxContainer.hh:34: recieve ==> receive
data/maude-3.1/src/Mixfix/importModule.cc:508: fo ==> of, for
data/maude-3.1/src/Mixfix/renameModule.cc:267: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/renameModule.cc:354: STRAT ==> START, STRATA
data/maude-3.1/src/Mixfix/renameModule.cc:454: distiguish ==> distinguish
data/maude-3.1/src/Mixfix/syntacticView.cc:263: cacheing ==> caching
data/maude-3.1/src/Mixfix/syntacticView.cc:332: strat ==> start, strata
data/maude-3.1/src/Mixfix/variantMatch.cc:135: outputing ==> outputting
data/maude-3.1/src/Mixfix/cvc4_Bindings.cc:48: defintions ==> definitions
data/maude-3.1/src/Mixfix/mixfixParser.hh:210: auxillary ==> auxiliary
data/maude-3.1/src/Mixfix/tokenizer.cc:755: charater ==> character
data/maude-3.1/src/Mixfix/surface.cc:3378: strat ==> start, strata
data/maude-3.1/src/Mixfix/yices2_Bindings.cc:48: defintions ==> definitions
data/maude-3.1/src/Mixfix/sharedPrint.cc:81: unambigous ==> unambiguous
data/maude-3.1/src/Mixfix/visibleModule.cc:364: strat ==> start, strata
data/maude-3.1/src/Mixfix/visibleModule.cc:365: strat ==> start, strata
data/maude-3.1/src/Mixfix/visibleModule.cc:368: strat ==> start, strata
data/maude-3.1/src/Mixfix/visibleModule.cc:371: strat ==> start, strata
data/maude-3.1/src/Mixfix/visibleModule.cc:665: strat ==> start, strata
data/maude-3.1/src/Mixfix/visibleModule.cc:666: strat ==> start, strata
data/maude-3.1/src/Mixfix/visibleModule.cc:669: strat ==> start, strata
data/maude-3.1/src/Mixfix/visibleModule.cc:673: strat ==> start, strata
data/maude-3.1/src/Mixfix/process.cc:61: Hande ==> Handle, hand
data/maude-3.1/src/Mixfix/process.cc:414: explicitely ==> explicitly
data/maude-3.1/src/Mixfix/view.hh:133: evalute ==> evaluate
data/maude-3.1/src/Mixfix/view.hh:188: strat ==> start, strata
data/maude-3.1/src/Mixfix/lexerAux.cc:251: futher ==> further
data/maude-3.1/src/Mixfix/lexerAux.cc:267: futher ==> further
data/maude-3.1/src/ObjectSystem/ChangeLog:459: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/ChangeLog:461: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/ChangeLog:1379: hande ==> handle, hand
data/maude-3.1/src/ObjectSystem/ChangeLog:1449: addded ==> added
data/maude-3.1/src/ObjectSystem/ChangeLog:1705: chech ==> check, czech
data/maude-3.1/src/ObjectSystem/ChangeLog:1719: memeber ==> member
data/maude-3.1/src/ObjectSystem/configSymbol.cc:128: ahve ==> have
data/maude-3.1/src/ObjectSystem/processActions.cc:149: enviroment ==> environment
data/maude-3.1/src/ObjectSystem/processActions.cc:432: unexpect ==> unexpected
data/maude-3.1/src/ObjectSystem/externalObjectManagerSymbol.hh:24: mangager ==> manager
data/maude-3.1/src/ObjectSystem/pseudoThread-pselect.cc:119: ealier ==> earlier
data/maude-3.1/src/ObjectSystem/pseudoThread.hh:87: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/socketStuff.cc:169: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/socketStuff.cc:300: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/socketStuff.cc:402: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/socketStuff.cc:491: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/socketStuff.cc:537: entitie ==> entity
data/maude-3.1/src/ObjectSystem/pseudoThread.cc:111: proccess ==> process
data/maude-3.1/src/ObjectSystem/pseudoThread.cc:160: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/socketAsync.cc:185: wantTo ==> want to
data/maude-3.1/src/ObjectSystem/pseudoThread-ppoll.cc:111: ealier ==> earlier
data/maude-3.1/src/FreeTheory/ChangeLog:1076: intructions ==> instructions
data/maude-3.1/src/FreeTheory/ChangeLog:1515: eaiser ==> easier
data/maude-3.1/src/FreeTheory/ChangeLog:1529: acccess ==> access
data/maude-3.1/src/FreeTheory/ChangeLog:1614: cleaing ==> cleaning
data/maude-3.1/src/FreeTheory/ChangeLog:1620: occuring ==> occurring
data/maude-3.1/src/FreeTheory/ChangeLog:2206: constrcution ==> construction
data/maude-3.1/src/FreeTheory/ChangeLog:2251: strcuture ==> structure
data/maude-3.1/src/FreeTheory/ChangeLog:2419: whis ==> this
data/maude-3.1/src/FreeTheory/ChangeLog:2567: abount ==> about
data/maude-3.1/src/FreeTheory/ChangeLog:2574: verison ==> version
data/maude-3.1/src/FreeTheory/ChangeLog:2577: verison ==> version
data/maude-3.1/src/FreeTheory/ChangeLog:2636: seperate ==> separate
data/maude-3.1/src/FreeTheory/ChangeLog:2640: seperate ==> separate
data/maude-3.1/src/FreeTheory/ChangeLog:2950: guarenteed ==> guaranteed
data/maude-3.1/src/FreeTheory/ChangeLog:3372: upadted ==> updated
data/maude-3.1/src/FreeTheory/ChangeLog:3397: arround ==> around
data/maude-3.1/src/FreeTheory/ChangeLog:3531: strat ==> start, strata
data/maude-3.1/src/FreeTheory/ChangeLog:3549: jsut ==> just
data/maude-3.1/src/FreeTheory/ChangeLog:3558: higly ==> highly
data/maude-3.1/src/FreeTheory/ChangeLog:3659: suble ==> subtle
data/maude-3.1/src/FreeTheory/ChangeLog:3925: strat ==> start, strata
data/maude-3.1/src/FreeTheory/ChangeLog:4043: elminated ==> eliminated
data/maude-3.1/src/FreeTheory/ChangeLog:4242: ths ==> the, this
data/maude-3.1/src/FreeTheory/ChangeLog:4243: menas ==> means
data/maude-3.1/src/FreeTheory/ChangeLog:4308: occassionally ==> occasionally
data/maude-3.1/src/FreeTheory/ChangeLog:4385: infomation ==> information
data/maude-3.1/src/FreeTheory/ChangeLog:4480: consistancy ==> consistency
data/maude-3.1/src/FreeTheory/ChangeLog:4686: propogate ==> propagate
data/maude-3.1/src/FreeTheory/ChangeLog:4714: addded ==> added
data/maude-3.1/src/FreeTheory/ChangeLog:4873: upto ==> up to
data/maude-3.1/src/FreeTheory/ChangeLog:4954: sharable ==> shareable
data/maude-3.1/src/FreeTheory/ChangeLog:4957: sharable ==> shareable
data/maude-3.1/src/FreeTheory/ChangeLog:4985: addded ==> added
data/maude-3.1/src/FreeTheory/ChangeLog:4990: addded ==> added
data/maude-3.1/src/FreeTheory/freeTerm.cc:505: occurences ==> occurrences
data/maude-3.1/src/FreeTheory/freePreNetFullCompiler.cc:35: decendents ==> descendents, descendants
data/maude-3.1/src/FreeTheory/freePreNetFullCompiler.cc:61: accessable ==> accessible
data/maude-3.1/src/FreeTheory/freeLhsCompiler.cc:320: persuing ==> pursuing
data/maude-3.1/src/FreeTheory/freeRemainder.hh:24: whats ==> what's
data/maude-3.1/src/FreeTheory/freeInstruction.cc:82: palce ==> place, palace
data/maude-3.1/src/FreeTheory/freeGeneralExtorFinal.cc:91: agressive ==> aggressive
data/maude-3.1/src/FreeTheory/freeRemainder.cc:360: arguement ==> argument
data/maude-3.1/src/FreeTheory/freeGeneralExtor.cc:97: agressive ==> aggressive
data/maude-3.1/src/Temporal/genBuchiAutomaton.hh:142: Stucture ==> Structure
data/maude-3.1/src/S_Theory/ChangeLog:218: commments ==> comments
data/maude-3.1/src/S_Theory/ChangeLog:656: consistant ==> consistent
data/maude-3.1/src/S_Theory/ChangeLog:703: seperate ==> separate
data/maude-3.1/src/S_Theory/S_Symbol.cc:389: functon ==> function
data/maude-3.1/src/S_Theory/S_Symbol.cc:404: corrresponding ==> corresponding
data/maude-3.1/src/S_Theory/S_Symbol.cc:461: functon ==> function
data/maude-3.1/src/S_Theory/S_Term.hh:24: sucessor ==> successor
data/maude-3.1/src/S_Theory/S_Term.cc:97: situtation ==> situation
data/maude-3.1/src/S_Theory/S_Symbol.hh:51: overiding ==> overriding
data/maude-3.1/src/Utility/ChangeLog:52: orginal ==> original
data/maude-3.1/src/Utility/ChangeLog:202: INTIAL ==> INITIAL
data/maude-3.1/src/Utility/ChangeLog:364: neglible ==> negligible
data/maude-3.1/src/Utility/ChangeLog:571: befor ==> before
data/maude-3.1/src/Utility/ChangeLog:1054: addded ==> added
data/maude-3.1/src/Utility/ChangeLog:1514: aviod ==> avoid
data/maude-3.1/src/Utility/ChangeLog:1517: aviod ==> avoid
data/maude-3.1/src/Utility/ChangeLog:1695: addded ==> added
data/maude-3.1/src/Utility/ChangeLog:1826: concensus ==> consensus
data/maude-3.1/src/Utility/ChangeLog:1829: fo ==> of, for
data/maude-3.1/src/Utility/ChangeLog:1858: concensus ==> consensus
data/maude-3.1/src/Utility/ChangeLog:1859: arround ==> around
data/maude-3.1/src/Utility/ChangeLog:1866: concensus ==> consensus
data/maude-3.1/src/Utility/ChangeLog:1868: concensus ==> consensus
data/maude-3.1/src/Utility/ChangeLog:2262: contructors ==> constructors
data/maude-3.1/src/Utility/ChangeLog:2467: alreday ==> already
data/maude-3.1/src/Utility/ChangeLog:2738: transtions ==> transitions
data/maude-3.1/src/Utility/ChangeLog:2899: containg ==> containing
data/maude-3.1/src/Utility/ChangeLog:3159: consistant ==> consistent
data/maude-3.1/src/Utility/ChangeLog:3168: allong ==> along
data/maude-3.1/src/Utility/ChangeLog:3440: compatable ==> compatible
data/maude-3.1/src/Utility/ChangeLog:3445: chane ==> change, chain
data/maude-3.1/src/Utility/ChangeLog:3553: wth ==> with
data/maude-3.1/src/Utility/ChangeLog:3674: neccessarily ==> necessarily
data/maude-3.1/src/Utility/wordLevel.hh:26: constains ==> constrains, contains
data/maude-3.1/src/Utility/wordLevel.hh:192: INTIAL ==> INITIAL
data/maude-3.1/src/Utility/wordLevel.hh:225: assignement ==> assignment
data/maude-3.1/src/Utility/pigPug-checks.cc:33: possibily ==> possibly
data/maude-3.1/src/Utility/pointerSet.hh:42: guarentee ==> guarantee
data/maude-3.1/src/Utility/sequencePartition.cc:114: preceeding ==> preceding, proceeding
data/maude-3.1/src/Utility/mpzContejeanDevie.cc:149: coefficent ==> coefficient
data/maude-3.1/src/Utility/mpzContejeanDevie.cc:152: faliure ==> failure
data/maude-3.1/src/Utility/mpzContejeanDevie.cc:238: decendents ==> descendents, descendants
data/maude-3.1/src/Utility/mpzGcdTrivial.cc:42: concensus ==> consensus
data/maude-3.1/src/Utility/rope.cc:32: inital ==> initial
data/maude-3.1/src/Utility/rope.cc:383: resuse ==> reuse
data/maude-3.1/src/Utility/rope.cc:503: withing ==> within
data/maude-3.1/src/Utility/wordLevel-simplifyAssignments.cc:76: exand ==> expand
data/maude-3.1/src/Utility/macros.hh:136: guarentee ==> guarantee
data/maude-3.1/src/Utility/macros.hh:458: unpredicatable ==> unpredictable
data/maude-3.1/src/Utility/wordLevel-null.cc:79: sucessfully ==> successfully
data/maude-3.1/src/Utility/wordLevel-null.cc:137: occurence ==> occurrence
data/maude-3.1/src/Utility/intContejeanDevie.cc:149: coefficent ==> coefficient
data/maude-3.1/src/Utility/intContejeanDevie.cc:152: faliure ==> failure
data/maude-3.1/src/Utility/intContejeanDevie.cc:237: decendents ==> descendents, descendants
data/maude-3.1/src/Utility/sequenceAssignment.cc:147: enought ==> enough
data/maude-3.1/src/Utility/sequenceAssignment.cc:154: enought ==> enough
data/maude-3.1/src/Utility/sequenceAssignment.cc:195: enought ==> enough
data/maude-3.1/src/Utility/sequenceAssignment.cc:199: enought ==> enough
data/maude-3.1/src/Utility/mpzGcdInit.cc:234: seach ==> search
data/maude-3.1/src/Utility/diophantineSystem.cc:97: compontent ==> component
data/maude-3.1/src/Utility/diophantineSystem.cc:349: feasable ==> feasible
data/maude-3.1/src/Utility/diophantineSystem.cc:534: feasable ==> feasible
data/maude-3.1/src/Utility/diophantineSystem.cc:535: constaints ==> constraints
data/maude-3.1/src/Utility/wordLevel.cc:143: varibles ==> variables
data/maude-3.1/src/Utility/vector.hh:289: orginal ==> original
data/maude-3.1/src/Utility/vector.hh:369: orginal ==> original
data/maude-3.1/src/Utility/rope.hh:274: cound ==> could, count
data/maude-3.1/src/Utility/intSystem.hh:69: indicies ==> indices
data/maude-3.1/src/Utility/pigPug-search.cc:81: seach ==> search
data/maude-3.1/src/Utility/pigPug-search.cc:197: occurences ==> occurrences
data/maude-3.1/src/Utility/pigPug-search.cc:229: occurances ==> occurrences
data/maude-3.1/src/Utility/pigPug-search.cc:235: occurances ==> occurrences
data/maude-3.1/src/Utility/pigPug-search.cc:292: occurance ==> occurrence
data/maude-3.1/src/Utility/pigPug-search.cc:300: occurances ==> occurrences
data/maude-3.1/src/Utility/pigPug-search.cc:318: occurances ==> occurrences
data/maude-3.1/src/Utility/pigPug-search.cc:376: occurance ==> occurrence
data/maude-3.1/src/Utility/pigPug-search.cc:407: varible ==> variable
data/maude-3.1/src/Utility/pigPug-search.cc:471: occurance ==> occurrence
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:121: concensus ==> consensus
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:142: divisable ==> divisible
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:145: abtracts ==> abstracts
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:180: concensus ==> consensus
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:184: concensus ==> consensus
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:257: concensus ==> consensus
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:307: concensus ==> consensus
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:311: concensus ==> consensus
data/maude-3.1/src/Utility/mpzGcdBasedSolver.cc:405: cannnot ==> cannot
data/maude-3.1/src/Utility/mpzSystem.hh:68: indicies ==> indices
data/maude-3.1/src/Utility/pigPug-cycleDetection.cc:97: distiguish ==> distinguish
data/maude-3.1/src/SMT/SMT_RewriteSequenceSearch.hh:45: inital ==> initial
data/maude-3.1/src/SMT/ChangeLog:37: consistancy ==> consistency
data/maude-3.1/src/SMT/ChangeLog:366: consistancy ==> consistency
data/maude-3.1/src/SMT/ChangeLog:501: thoughout ==> throughout
data/maude-3.1/src/SMT/SMT_Info.cc:64: mis-match ==> mismatch
data/maude-3.1/src/SMT/SMT_RewriteSearchState.cc:158: consistancy ==> consistency
data/maude-3.1/src/SMT/SMT_RewriteSearchState.cc:189: consistancy ==> consistency
data/maude-3.1/src/SMT/SMT_RewriteSearchState.cc:207: occuring ==> occurring
data/maude-3.1/src/FullCompiler/compilationContext.cc:119: evaulate ==> evaluate
data/maude-3.1/src/ACU_Persistent/ChangeLog:241: cheching ==> checking
data/maude-3.1/src/ACU_Persistent/ChangeLog:244: cheching ==> checking
data/maude-3.1/src/ACU_Persistent/ChangeLog:365: cleaness ==> cleanness
data/maude-3.1/src/ACU_Persistent/ChangeLog:443: instread ==> instead
data/maude-3.1/src/ACU_Persistent/ChangeLog:447: colection ==> collection
data/maude-3.1/src/ACU_Persistent/ChangeLog:517: deletd ==> deleted
data/maude-3.1/src/ACU_Theory/ChangeLog:278: guarentee ==> guarantee
data/maude-3.1/src/ACU_Theory/ChangeLog:350: commment ==> comment
data/maude-3.1/src/ACU_Theory/ChangeLog:379: verions ==> versions
data/maude-3.1/src/ACU_Theory/ChangeLog:391: agaist ==> against
data/maude-3.1/src/ACU_Theory/ChangeLog:436: symantics ==> semantics
data/maude-3.1/src/ACU_Theory/ChangeLog:630: perfer ==> prefer
data/maude-3.1/src/ACU_Theory/ChangeLog:1289: argumnets ==> arguments
data/maude-3.1/src/ACU_Theory/ChangeLog:1503: arround ==> around
data/maude-3.1/src/ACU_Theory/ChangeLog:1503: probelm ==> problem
data/maude-3.1/src/ACU_Theory/ChangeLog:1544: simpified ==> simplified
data/maude-3.1/src/ACU_Theory/ChangeLog:1682: distiction ==> distinction
data/maude-3.1/src/ACU_Theory/ChangeLog:1774: beacuse ==> because
data/maude-3.1/src/ACU_Theory/ChangeLog:1866: memeber ==> member
data/maude-3.1/src/ACU_Theory/ChangeLog:1890: chnage ==> change
data/maude-3.1/src/ACU_Theory/ChangeLog:1944: returing ==> returning
data/maude-3.1/src/ACU_Theory/ChangeLog:1961: teh ==> the
data/maude-3.1/src/ACU_Theory/ChangeLog:1977: swich ==> switch
data/maude-3.1/src/ACU_Theory/ChangeLog:2027: consistancy ==> consistency
data/maude-3.1/src/ACU_Theory/ChangeLog:2404: THRESHHOLD ==> THRESHOLD
data/maude-3.1/src/ACU_Theory/ChangeLog:2678: occurence ==> occurrence
data/maude-3.1/src/ACU_Theory/ChangeLog:2715: seperate ==> separate
data/maude-3.1/src/ACU_Theory/ChangeLog:2725: varibales ==> variables
data/maude-3.1/src/ACU_Theory/ChangeLog:2794: consistancy ==> consistency
data/maude-3.1/src/ACU_Theory/ChangeLog:3384: cleaness ==> cleanness
data/maude-3.1/src/ACU_Theory/ChangeLog:3387: cleaness ==> cleanness
data/maude-3.1/src/ACU_Theory/ChangeLog:3389: cleaness ==> cleanness
data/maude-3.1/src/ACU_Theory/ChangeLog:3394: cleaness ==> cleanness
data/maude-3.1/src/ACU_Theory/ChangeLog:3397: cleaness ==> cleanness
data/maude-3.1/src/ACU_Theory/ChangeLog:3441: occurence ==> occurrence
data/maude-3.1/src/ACU_Theory/ChangeLog:3476: chnage ==> change
data/maude-3.1/src/ACU_Theory/ChangeLog:3477: ans ==> and
data/maude-3.1/src/ACU_Theory/ChangeLog:3549: everwhere ==> everywhere
data/maude-3.1/src/ACU_Theory/ChangeLog:3570: neccessary ==> necessary
data/maude-3.1/src/ACU_Theory/ChangeLog:3660: wether ==> weather, whether
data/maude-3.1/src/ACU_Theory/ChangeLog:3865: guarenteed ==> guaranteed
data/maude-3.1/src/ACU_Theory/ChangeLog:3890: actaul ==> actual
data/maude-3.1/src/ACU_Theory/ChangeLog:3892: actaul ==> actual
data/maude-3.1/src/ACU_Theory/ChangeLog:3895: actaul ==> actual
data/maude-3.1/src/ACU_Theory/ChangeLog:4061: occcur ==> occur
data/maude-3.1/src/ACU_Theory/ChangeLog:4109: intialize ==> initialize
data/maude-3.1/src/ACU_Theory/ChangeLog:4131: memeber ==> member
data/maude-3.1/src/ACU_Theory/ChangeLog:4445: scatch ==> catch, scratch, sketch
data/maude-3.1/src/ACU_Theory/ChangeLog:4561: memebr ==> member
data/maude-3.1/src/ACU_Theory/ChangeLog:4630: assigments ==> assignments
data/maude-3.1/src/ACU_Theory/ChangeLog:4802: guarenteed ==> guaranteed
data/maude-3.1/src/ACU_Theory/ChangeLog:4806: aleays ==> always
data/maude-3.1/src/ACU_Theory/ChangeLog:4913: actualy ==> actually
data/maude-3.1/src/ACU_Theory/ChangeLog:5142: ther ==> there, their, the, other
data/maude-3.1/src/ACU_Theory/ChangeLog:5151: guarentees ==> guarantees
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:54: infomation ==> information
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:60: obselete ==> obsolete
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:176: consistancy ==> consistency
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:181: swaping ==> swapping
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:345: memeory ==> memory
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:411: temporrary ==> temporary
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:515: seperate ==> separate
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:739: immmediately ==> immediately
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:740: consistancy ==> consistency
data/maude-3.1/src/ACU_Theory/ChangeLog.AC_Theory:742: ther ==> there, their, the, other
data/maude-3.1/src/ACU_Theory/ACU_CollectorLhsAutomaton.cc:134: inconsistant ==> inconsistent
data/maude-3.1/src/ACU_Theory/ACU_LhsAutomaton.hh:39: everthing ==> everything
data/maude-3.1/src/ACU_Theory/ACU_LhsCompiler3.cc:105: mis-match ==> mismatch
data/maude-3.1/src/ACU_Theory/ACU_LhsCompiler3.cc:149: upto ==> up to
data/maude-3.1/src/ACU_Theory/ACU_DagNode.hh:168: accesss ==> access
data/maude-3.1/src/ACU_Theory/ACU_MergeSort.cc:108: befor ==> before
data/maude-3.1/src/ACU_Theory/ACU_TreeDagNode.cc:217: inconsistant ==> inconsistent
data/maude-3.1/src/ACU_Theory/ACU_LhsAutomaton.cc:214: begining ==> beginning
data/maude-3.1/src/ACU_Theory/ACU_Symbol.hh:59: overiding ==> overriding
data/maude-3.1/src/ACU_Theory/ACU_Symbol.hh:95: Alow ==> Allow
data/maude-3.1/src/ACU_Theory/ACU_Symbol.hh:95: resonable ==> reasonable
data/maude-3.1/src/ACU_Theory/ACU_Term.hh:99: Fuctions ==> Functions
data/maude-3.1/src/ACU_Theory/ACU_Matcher.cc:212: inconsistant ==> inconsistent
data/maude-3.1/src/ACU_Theory/ACU_Subproblem.cc:267: guarentee ==> guarantee
data/maude-3.1/src/ACU_Theory/ACU_LazySubproblem.cc:94: doens't ==> doesn't
data/maude-3.1/src/ACU_Theory/ACU_DagOperations.cc:85: arrray ==> array
data/maude-3.1/src/ACU_Theory/ACU_CollapseMatcher.cc:166: entension ==> extension
data/maude-3.1/src/ACU_Theory/ACU_GreedyMatcher.cc:97: upto ==> up to
data/maude-3.1/src/ACU_Theory/ACU_GreedyMatcher.cc:273: inconsistant ==> inconsistent
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:148: situtation ==> situation
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:221: recusively ==> recursively, reclusively
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:469: strat ==> start, strata
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:470: strat ==> start, strata
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:471: strat ==> start, strata
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:622: strat ==> start, strata
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:623: strat ==> start, strata
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:624: strat ==> start, strata
data/maude-3.1/src/ACU_Theory/ACU_Term.cc:640: occurences ==> occurrences
data/maude-3.1/src/StrategyLanguage/matchProcess.hh:56: withing ==> within
data/maude-3.1/src/StrategyLanguage/ChangeLog:94: explicitely ==> explicitly
data/maude-3.1/src/StrategyLanguage/ChangeLog:614: goind ==> going
data/maude-3.1/src/StrategyLanguage/ChangeLog:627: verison ==> version
data/maude-3.1/src/StrategyLanguage/ChangeLog:812: substituion ==> substitution
data/maude-3.1/src/StrategyLanguage/rewriteTask.hh:58: withing ==> within
data/maude-3.1/src/StrategyLanguage/strategyStackManager.cc:61: sucessors ==> successors
data/maude-3.1/src/StrategyLanguage/oneStrategy.cc:41: strat ==> start, strata
data/maude-3.1/src/StrategyLanguage/oneStrategy.cc:42: strat ==> start, strata
data/maude-3.1/src/StrategyLanguage/rewriteTask.cc:88: evalutate ==> evaluate
data/maude-3.1/src/StrategyLanguage/rewriteTask.cc:123: seach ==> search
data/maude-3.1/src/StrategyLanguage/callProcess.cc:151: stucked ==> stuck
data/maude-3.1/src/StrategyLanguage/callStrategy.cc:58: strat ==> start, strata
data/maude-3.1/src/StrategyLanguage/callStrategy.cc:59: strat ==> start, strata
data/maude-3.1/src/StrategyLanguage/matchProcess.cc:99: seach ==> search
data/maude-3.1/src/StrategyLanguage/decompositionProcess.cc:63: persistant ==> persistent
data/maude-3.1/src/StrategyLanguage/subtermTask.cc:51: rewritting ==> rewriting
data/maude-3.1/src/StrategyLanguage/subtermTask.cc:261: Rebuils ==> Rebuilds
data/maude-3.1/src/StrategyLanguage/strategicExecution.hh:61: exectution ==> execution
data/maude-3.1/src/StrategyLanguage/applicationProcess.cc:307: evalutate ==> evaluate
data/maude-3.1/src/StrategyLanguage/subtermStrategy.cc:203: substitued ==> substituted, substitute
data/maude-3.1/src/StrategyLanguage/callStrategy.hh:35: strat ==> start, strata
data/maude-3.1/src/StrategyLanguage/branchStrategy.cc:54: inconsistancy ==> inconsistency
data/maude-3.1/src/StrategyLanguage/branchStrategy.cc:57: inconsistancy ==> inconsistency
data/maude-3.1/src/StrategyLanguage/applicationStrategy.cc:129: recusively ==> recursively, reclusively
data/maude-3.1/src/NA_Theory/ChangeLog:149: verison ==> version
data/maude-3.1/src/NA_Theory/ChangeLog:152: verison ==> version
data/maude-3.1/src/NA_Theory/NA_Symbol.cc:50: useable ==> usable
data/maude-3.1/src/NA_Theory/NA_Symbol.cc:57: useable ==> usable
data/maude-3.1/src/Interface/ChangeLog:853: declatations ==> declarations
data/maude-3.1/src/Interface/ChangeLog:1251: addedd ==> added
data/maude-3.1/src/Interface/ChangeLog:1332: relavent ==> relevant
data/maude-3.1/src/Interface/ChangeLog:1350: occurence ==> occurrence
data/maude-3.1/src/Interface/ChangeLog:1351: occurence ==> occurrence
data/maude-3.1/src/Interface/ChangeLog:1628: boundries ==> boundaries
data/maude-3.1/src/Interface/ChangeLog:2001: verion ==> version
data/maude-3.1/src/Interface/ChangeLog:2022: indicies ==> indices
data/maude-3.1/src/Interface/ChangeLog:2151: couse ==> course, cause
data/maude-3.1/src/Interface/ChangeLog:2229: chnage ==> change
data/maude-3.1/src/Interface/ChangeLog:2394: bewteen ==> between
data/maude-3.1/src/Interface/ChangeLog:2430: addded ==> added
data/maude-3.1/src/Interface/ChangeLog:2544: strat ==> start, strata
data/maude-3.1/src/Interface/ChangeLog:2564: implemetation ==> implementation
data/maude-3.1/src/Interface/ChangeLog:2685: fro ==> for, from
data/maude-3.1/src/Interface/ChangeLog:2729: indentity ==> identity
data/maude-3.1/src/Interface/ChangeLog:3224: guarenteed ==> guaranteed
data/maude-3.1/src/Interface/ChangeLog:3447: immediatly ==> immediately
data/maude-3.1/src/Interface/ChangeLog:3454: compuation ==> computation
data/maude-3.1/src/Interface/ChangeLog:3573: procesing ==> processing
data/maude-3.1/src/Interface/ChangeLog:3587: consistancy ==> consistency
data/maude-3.1/src/Interface/ChangeLog:3713: begining ==> beginning
data/maude-3.1/src/Interface/ChangeLog:3763: intead ==> instead
data/maude-3.1/src/Interface/ChangeLog:3979: sharable ==> shareable
data/maude-3.1/src/Interface/ChangeLog:3986: contraints ==> constraints
data/maude-3.1/src/Interface/ChangeLog:3993: contraints ==> constraints
data/maude-3.1/src/Interface/ChangeLog:3995: contraints ==> constraints
data/maude-3.1/src/Interface/ChangeLog:4228: sharable ==> shareable
data/maude-3.1/src/Interface/ChangeLog:4256: acual ==> actual
data/maude-3.1/src/Interface/dagNode.cc:376: indicies ==> indices
data/maude-3.1/src/Interface/dagNode.cc:385: indicies ==> indices
data/maude-3.1/src/Interface/binarySymbol.hh:45: strat ==> start, strata
data/maude-3.1/src/Interface/binarySymbol.hh:46: strat ==> start, strata
data/maude-3.1/src/Interface/binarySymbol.hh:47: strat ==> start, strata
data/maude-3.1/src/Interface/symbol.cc:507: tht ==> the, that
data/maude-3.1/src/Interface/dagNode.hh:177: indicies ==> indices
data/maude-3.1/src/Interface/dagNode.hh:180: togther ==> together
data/maude-3.1/src/Interface/dagNode.hh:242: fundemental ==> fundamental
data/maude-3.1/src/Interface/term.hh:75: indicies ==> indices
data/maude-3.1/src/Interface/term.hh:132: guarenteed ==> guaranteed
data/maude-3.1/src/Interface/term.hh:149: guarenteed ==> guaranteed
data/maude-3.1/src/Interface/term.hh:214: togther ==> together
data/maude-3.1/src/Interface/term.cc:113: varible ==> variable
data/maude-3.1/src/Interface/term.cc:169: indicies ==> indices
data/maude-3.1/src/Interface/term.cc:173: indicies ==> indices
data/maude-3.1/src/Interface/term.cc:182: indicies ==> indices
data/maude-3.1/src/Interface/delayedSubproblem.hh:26: aleady ==> already
data/maude-3.1/src/Meta/metaNewNarrow.cc:162: consistancy ==> consistency
data/maude-3.1/src/Meta/ChangeLog:282: cach ==> catch, cache
data/maude-3.1/src/Meta/ChangeLog:640: instantation ==> instantiation
data/maude-3.1/src/Meta/ChangeLog:806: arugments ==> arguments
data/maude-3.1/src/Meta/ChangeLog:830: delted ==> deleted
data/maude-3.1/src/Meta/ChangeLog:851: tranfer ==> transfer
data/maude-3.1/src/Meta/ChangeLog:1740: STRAT ==> START, STRATA
data/maude-3.1/src/Meta/ChangeLog:1740: strat ==> start, strata
data/maude-3.1/src/Meta/ChangeLog:2068: fo ==> of, for
data/maude-3.1/src/Meta/ChangeLog:2227: doens't ==> doesn't
data/maude-3.1/src/Meta/ChangeLog:2484: substituion ==> substitution
data/maude-3.1/src/Meta/ChangeLog:2725: hande ==> handle, hand
data/maude-3.1/src/Meta/ChangeLog:3644: acces ==> access
data/maude-3.1/src/Meta/ChangeLog:3803: strat ==> start, strata
data/maude-3.1/src/Meta/ChangeLog:3804: strat ==> start, strata
data/maude-3.1/src/Meta/metaLevelSignature.cc:262: Strat ==> Start, strata
data/maude-3.1/src/Meta/interpreterManagerSymbol.cc:75: lanuage ==> language
data/maude-3.1/src/Meta/metaUpModule.cc:706: uninitailized ==> uninitialized
data/maude-3.1/src/Meta/metaUpModule.cc:751: strat ==> start, strata
data/maude-3.1/src/Meta/metaUpModule.cc:923: strat ==> start, strata
data/maude-3.1/src/Meta/metaUpModule.cc:924: strat ==> start, strata
data/maude-3.1/src/Meta/metaUpModule.cc:930: strat ==> start, strata
data/maude-3.1/src/Meta/metaUpModule.cc:955: strat ==> start, strata
data/maude-3.1/src/Meta/interpreterNewNarrow.cc:160: consistancy ==> consistency
data/maude-3.1/src/Meta/metaDown.cc:1269: interprete ==> interpret
data/maude-3.1/src/Meta/metaDownStrats.cc:256: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:258: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:273: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:274: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:306: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:309: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:310: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:327: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:332: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:337: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:452: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:468: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:470: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownStrats.cc:478: interprete ==> interpret
data/maude-3.1/src/Meta/interpreterApply.cc:100: Substition ==> Substitution
data/maude-3.1/src/Meta/interpreterApply.cc:103: Substition ==> Substitution
data/maude-3.1/src/Meta/metaLevel.hh:467: strat ==> start, strata
data/maude-3.1/src/Meta/metaLevel.hh:645: strat ==> start, strata
data/maude-3.1/src/Meta/metaDownOps.cc:305: STRAT ==> START, STRATA
data/maude-3.1/src/Meta/metaDownOps.cc:309: STRAT ==> START, STRATA
data/maude-3.1/src/Meta/metaModuleCache.cc:162: becasue ==> because
data/maude-3.1/src/Core/ChangeLog:1171: consistancy ==> consistency
data/maude-3.1/src/Core/ChangeLog:1227: arbitarily ==> arbitrarily
data/maude-3.1/src/Core/ChangeLog:1645: trival ==> trivial
data/maude-3.1/src/Core/ChangeLog:1817: minmum ==> minimum
data/maude-3.1/src/Core/ChangeLog:2880: superflous ==> superfluous
data/maude-3.1/src/Core/ChangeLog:2994: inconsistancy ==> inconsistency
data/maude-3.1/src/Core/ChangeLog:3117: reurn ==> return
data/maude-3.1/src/Core/ChangeLog:3192: abtract ==> abstract
data/maude-3.1/src/Core/ChangeLog:3751: rewriten ==> rewritten
data/maude-3.1/src/Core/ChangeLog:3784: upadted ==> updated
data/maude-3.1/src/Core/ChangeLog:3835: suceeded ==> succeeded
data/maude-3.1/src/Core/ChangeLog:3880: inconsistancy ==> inconsistency
data/maude-3.1/src/Core/ChangeLog:4198: upated ==> updated
data/maude-3.1/src/Core/ChangeLog:4374: afterall ==> after all
data/maude-3.1/src/Core/ChangeLog:4398: occuring ==> occurring
data/maude-3.1/src/Core/ChangeLog:4474: ther ==> there, their, the, other
data/maude-3.1/src/Core/ChangeLog:4859: guarenteed ==> guaranteed
data/maude-3.1/src/Core/ChangeLog:4871: instace ==> instance
data/maude-3.1/src/Core/ChangeLog:4947: implemeted ==> implemented
data/maude-3.1/src/Core/ChangeLog:5056: fo ==> of, for
data/maude-3.1/src/Core/ChangeLog:5528: dont' ==> don't
data/maude-3.1/src/Core/ChangeLog:5528: non-existant ==> non-existent
data/maude-3.1/src/Core/ChangeLog:5663: strat ==> start, strata
data/maude-3.1/src/Core/ChangeLog:5732: extesion ==> extension
data/maude-3.1/src/Core/ChangeLog:5754: infomation ==> information
data/maude-3.1/src/Core/ChangeLog:5759: responsiblity ==> responsibility
data/maude-3.1/src/Core/ChangeLog:5766: implicity ==> implicitly
data/maude-3.1/src/Core/ChangeLog:5791: neccessary ==> necessary
data/maude-3.1/src/Core/ChangeLog:6007: consistancy ==> consistency
data/maude-3.1/src/Core/ChangeLog:6160: memebers ==> members
data/maude-3.1/src/Core/ChangeLog:6351: rewriten ==> rewritten
data/maude-3.1/src/Core/ChangeLog:6402: memebr ==> member
data/maude-3.1/src/Core/ChangeLog:6501: occurences ==> occurrences
data/maude-3.1/src/Core/ChangeLog:6757: seperate ==> separate
data/maude-3.1/src/Core/ChangeLog:6790: chenged ==> changed
data/maude-3.1/src/Core/ChangeLog:6890: sharable ==> shareable
data/maude-3.1/src/Core/ChangeLog:6971: togther ==> together
data/maude-3.1/src/Core/ChangeLog:7070: consistancy ==> consistency
data/maude-3.1/src/Core/ChangeLog:7098: indicies ==> indices
data/maude-3.1/src/Core/ChangeLog:7101: indicies ==> indices
data/maude-3.1/src/Core/memoryBlock.hh:25: suppplied ==> supplied
data/maude-3.1/src/Core/equationTable.cc:150: fuction ==> function
data/maude-3.1/src/Core/frame.hh:24: excution ==> execution
data/maude-3.1/src/Core/frame.hh:81: writting ==> writing
data/maude-3.1/src/Core/stackMachine.hh:24: excution ==> execution
data/maude-3.1/src/Core/rewritingContext.hh:27: perfomance ==> performance
data/maude-3.1/src/Core/symbolMap.hh:39: orginal ==> original
data/maude-3.1/src/Core/substitution.hh:101: alway ==> always
data/maude-3.1/src/Core/extensionMatchSubproblem.hh:25: agaisnt ==> against
data/maude-3.1/src/Core/module.cc:273: contraint ==> constraint
data/maude-3.1/src/Core/module.cc:280: existance ==> existence
data/maude-3.1/src/Core/strategy.cc:117: evaulated ==> evaluated
data/maude-3.1/src/Core/rewriteStrategy.hh:49: intented ==> intended, indented
data/maude-3.1/src/Core/substitution.cc:96: interator ==> iterator
data/maude-3.1/src/Core/run.cc:174: traveral ==> traversal
data/maude-3.1/src/Core/unificationSubproblemDisjunction.cc:82: intial ==> initial
data/maude-3.1/src/Core/sortErrorAnalysis.cc:24: constuctor ==> constructor
data/maude-3.1/src/Core/sortErrorAnalysis.cc:24: consistancy ==> consistency
data/maude-3.1/src/Core/ctorDiagram.cc:183: inconsistant ==> inconsistent
data/maude-3.1/src/Core/memoryCell.hh:44: raison ==> reason, raisin
data/maude-3.1/src/Core/unificationContext.cc:137: inconsistancy ==> inconsistency
data/maude-3.1/src/Core/argVec.hh:39: interators ==> iterators
data/maude-3.1/src/Core/argVec.hh:85: interators ==> iterators
data/maude-3.1/src/Core/memoMap.cc:43: incase ==> in case
data/maude-3.1/src/Core/memoryCell.cc:273: upto ==> up to
data/maude-3.1/src/Core/subproblemAccumulator.hh:24: sequeces ==> sequences
data/maude-3.1/src/Core/sortTable.cc:178: overide ==> override
data/maude-3.1/src/Core/sortTable.cc:425: Consistancy ==> Consistency
data/maude-3.1/src/Core/sortTable.cc:427: consistancy ==> consistency
data/maude-3.1/src/Core/sortTable.cc:472: consistancy ==> consistency
data/maude-3.1/src/Core/memoTable.hh:26: implmentation ==> implementation
data/maude-3.1/src/Core/unificationContext.hh:70: fo ==> of, for
data/maude-3.1/src/Core/pendingUnificationStack.hh:108: occuring ==> occurring
data/maude-3.1/debian/changelog:97: Rebuilded ==> Rebuilt
data/maude-3.1/.pc/search-datadir.patch/src/Main/main.cc:76: declatations ==> declarations
data/maude-3.1/.pc/search-datadir.patch/src/Main/main.cc:271: tRun ==> turn
data/maude-3.1/.pc/search-datadir.patch/src/Main/main.cc:272: tRun ==> turn
data/maude-3.1/.pc/getinput-size_t.patch/src/Mixfix/lexerAux.cc:248: futher ==> further
data/maude-3.1/.pc/getinput-size_t.patch/src/Mixfix/lexerAux.cc:264: futher ==> further