data/matita-0.99.3/ChangeLog:41: trough ==> through
data/matita-0.99.3/ChangeLog:62: intereseted ==> interested
data/matita-0.99.3/ChangeLog:98: hiearchy ==> hierarchy
data/matita-0.99.3/ChangeLog:114: parenthese ==> parentheses
data/matita-0.99.3/docs/manual/html/authoring.html:35: yuor ==> your
data/matita-0.99.3/docs/manual/html/tac_assumption.html:2: applyS ==> applies
data/matita-0.99.3/docs/manual/html/tac_assumption.html:5: applyS ==> applies
data/matita-0.99.3/docs/manual/html/tac_applyS.html:2: applyS ==> applies
data/matita-0.99.3/docs/manual/html/tac_applyS.html:2: applyS ==> applies
data/matita-0.99.3/docs/manual/html/tac_applyS.html:2: applyS ==> applies
data/matita-0.99.3/docs/manual/html/tac_applyS.html:2: applyS ==> applies
data/matita-0.99.3/docs/manual/html/tac_applyS.html:3: applyS ==> applies
data/matita-0.99.3/docs/manual/html/tac_applyS.html:5: applyS ==> applies
data/matita-0.99.3/docs/manual/html/sec_gettingstarted.html:4: expecially ==> especially
data/matita-0.99.3/docs/manual/html/sec_gettingstarted.html:14: trough ==> through
data/matita-0.99.3/docs/manual/html/inst_from_src.html:12: proceding ==> proceeding, preceding
data/matita-0.99.3/docs/manual/html/inst_from_src.html:58: cristal ==> crystal
data/matita-0.99.3/docs/manual/html/tac_rewrite.html:2: applyS ==> applies
data/matita-0.99.3/docs/manual/html/tac_rewrite.html:8: occurence ==> occurrence
data/matita-0.99.3/docs/manual/html/tac_rewrite.html:12: applyS ==> applies
data/matita-0.99.3/docs/manual/html/sec_tactics.html:2: applyS ==> applies
data/matita-0.99.3/docs/manual/html/sec_tactics.html:3: applyS ==> applies
data/matita-0.99.3/docs/manual/html/sec_tactics.html:3: applyS ==> applies
data/matita-0.99.3/docs/manual/html/index.html:9: applyS ==> applies
data/matita-0.99.3/docs/manual/html/sec_install.html:58: beloging ==> belonging
data/matita-0.99.3/docs/manual/html/sec_install.html:68: shuld ==> should
data/matita-0.99.3/docs/manual/html/sec_install.html:73: MaxOSX ==> macosx
data/matita-0.99.3/components/Makefile.common:12: vaule ==> value
data/matita-0.99.3/components/grafite_parser/grafiteParser.ml:169: applyS ==> applies
data/matita-0.99.3/components/disambiguation/disambiguate.ml:538: CHOOSED ==> CHOSE, CHOSEN
data/matita-0.99.3/components/disambiguation/disambiguate.ml:573: CHOOSED ==> CHOSE, CHOSEN
data/matita-0.99.3/components/disambiguation/disambiguate.ml:586: CHOOSED ==> CHOSE, CHOSEN
data/matita-0.99.3/components/disambiguation/disambiguate.ml:597: CHOOSED ==> CHOSE, CHOSEN
data/matita-0.99.3/components/disambiguation/disambiguate.ml:671: choosed ==> chose, chosen
data/matita-0.99.3/components/disambiguation/disambiguate.ml:676: choosed ==> chose, chosen
data/matita-0.99.3/components/disambiguation/disambiguate.crit4.ml:180: shouldbe ==> should, should be
data/matita-0.99.3/components/disambiguation/disambiguate.crit4.ml:557: informations ==> information
data/matita-0.99.3/components/disambiguation/disambiguate.crit4.ml:1100: CHOOSED ==> CHOSE, CHOSEN
data/matita-0.99.3/components/disambiguation/disambiguate.crit4.ml:1258: choosed ==> chose, chosen
data/matita-0.99.3/components/disambiguation/disambiguate.crit4.ml:1262: choosed ==> chose, chosen
data/matita-0.99.3/components/disambiguation/disambiguate.crit2.ml:180: shouldbe ==> should, should be
data/matita-0.99.3/components/disambiguation/disambiguate.crit2.ml:557: informations ==> information
data/matita-0.99.3/components/disambiguation/disambiguate.crit2.ml:1101: CHOOSED ==> CHOSE, CHOSEN
data/matita-0.99.3/components/disambiguation/disambiguate.crit2.ml:1281: choosed ==> chose, chosen
data/matita-0.99.3/components/disambiguation/disambiguate.crit2.ml:1285: choosed ==> chose, chosen
data/matita-0.99.3/components/content/content.mli:120: inferrable ==> inferable
data/matita-0.99.3/components/content/notationPt.ml:180: tipically ==> typically
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml:267: olt ==> old
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml:499: curren ==> current
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml:549: becaus ==> because
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml:1066: andd ==> and
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml:1315: pluse ==> pulse
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml:2027: lates ==> later, latest
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml.txt:264: olt ==> old
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml.txt:496: curren ==> current
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml.txt:546: becaus ==> because
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml.txt:1064: andd ==> and
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml.txt:1313: pluse ==> pulse
data/matita-0.99.3/components/syntax_extensions/utf8MacroTable.ml.txt:2025: lates ==> later, latest
data/matita-0.99.3/components/syntax_extensions/data/entities-table.xml:32: andd ==> and
data/matita-0.99.3/components/syntax_extensions/data/entities-table.xml:94: becaus ==> because
data/matita-0.99.3/components/syntax_extensions/data/entities-table.xml:320: curren ==> current
data/matita-0.99.3/components/syntax_extensions/data/entities-table.xml:823: lates ==> later, latest
data/matita-0.99.3/components/syntax_extensions/data/entities-table.xml:1310: olt ==> old
data/matita-0.99.3/components/syntax_extensions/data/entities-table.xml:1388: pluse ==> pulse
data/matita-0.99.3/components/library/libraryClean.ml:143: cleand ==> cleaned, cleans, clean
data/matita-0.99.3/components/library/librarian.ml:132: substract ==> subtract
data/matita-0.99.3/components/library/librarian.ml:134: substract ==> subtract
data/matita-0.99.3/components/library/librarian.ml:138: substract ==> subtract
data/matita-0.99.3/components/library/librarian.mli:39: shrinked ==> shrunk
data/matita-0.99.3/components/content_pres/boxPp.ml:28: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:211: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:212: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:215: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:224: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:225: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:226: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:227: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:228: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:229: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:242: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:243: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:246: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:248: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:249: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:252: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:253: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:254: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:255: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:256: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:257: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:258: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:259: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:261: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:263: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:265: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:267: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:268: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:269: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:273: Pres ==> Press
data/matita-0.99.3/components/content_pres/boxPp.ml:274: Pres ==> Press
data/matita-0.99.3/components/content_pres/mpresentation.ml:61: IMPLEMEMENTED ==> IMPLEMENTED
data/matita-0.99.3/components/content_pres/mpresentation.ml:158: IMPLEMEMENTED ==> IMPLEMENTED
data/matita-0.99.3/components/content_pres/mpresentation.ml:191: pres ==> press
data/matita-0.99.3/components/content_pres/mpresentation.ml:199: pres ==> press
data/matita-0.99.3/components/content_pres/termContentPres.mli:49: pres ==> press
data/matita-0.99.3/components/content_pres/termContentPres.mli:53: pres ==> press
data/matita-0.99.3/components/content_pres/content2presMatcher.ml:164: CONTRO ==> CONTROL
data/matita-0.99.3/components/content_pres/termContentPres.ml:351: loosing ==> losing
data/matita-0.99.3/components/content_pres/box.ml:102: pres ==> press
data/matita-0.99.3/components/content_pres/box.ml:110: pres ==> press
data/matita-0.99.3/components/content_pres/boxPp.mli:27: multibye ==> multibyte
data/matita-0.99.3/components/ng_tactics/nTacStatus.ml:419: ot ==> to, of, or
data/matita-0.99.3/components/ng_tactics/nTacStatus.ml:427: ot ==> to, of, or
data/matita-0.99.3/components/ng_tactics/nTactics.ml:632: existant ==> existent
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:121: clos ==> close
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:132: clos ==> close
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:133: clos ==> close
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:473: iterm ==> term, item, intern
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:478: iterm ==> term, item, intern
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:479: iterm ==> term, item, intern
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:544: iterm ==> term, item, intern
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:1034: stange ==> strange
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:1156: splitted ==> split
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:1173: splitted ==> split
data/matita-0.99.3/components/ng_tactics/nnAuto.ml:1426: aplications ==> applications
data/matita-0.99.3/components/ng_tactics/nCicElim.ml:28: te ==> the, be, we
data/matita-0.99.3/components/ng_tactics/nCicElim.ml:29: te ==> the, be, we
data/matita-0.99.3/components/ng_tactics/nCicElim.ml:30: te ==> the, be, we
data/matita-0.99.3/components/ng_tactics/nCicElim.ml:33: te ==> the, be, we
data/matita-0.99.3/components/ng_tactics/nCicElim.ml:241: te ==> the, be, we
data/matita-0.99.3/components/ng_tactics/nCicElim.ml:267: te ==> the, be, we
data/matita-0.99.3/components/ng_tactics/README:7: termine ==> determine
data/matita-0.99.3/components/ng_tactics/README:15: applyS ==> applies
data/matita-0.99.3/components/ng_tactics/nInversion.ml:31: te ==> the, be, we
data/matita-0.99.3/components/ng_tactics/nInversion.ml:32: te ==> the, be, we
data/matita-0.99.3/components/ng_disambiguation/nCicDisambiguate.ml:109: shouldbe ==> should, should be
data/matita-0.99.3/components/ng_disambiguation/nnumber_notation.ml:44: arithmetics ==> arithmetic
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:14: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:15: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:16: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:139: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:147: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:198: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:229: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:233: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:237: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:265: childs ==> children, child's
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:268: childs ==> children, child's
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:272: childs ==> children, child's
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:296: childs ==> children, child's
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:302: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:304: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:306: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:308: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:311: childs ==> children, child's
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:317: childs ==> children, child's
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:320: childs ==> children, child's
data/matita-0.99.3/components/binaries/matitaprover/matitaprover.ml:320: childs ==> children, child's
data/matita-0.99.3/components/binaries/matitaprover/TreeLimitedRun.c:844: havn't ==> haven't
data/matita-0.99.3/components/binaries/matitaprover/hTopoSort.ml:26: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matitaprover/hTopoSort.ml:29: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matitaprover/paramod.mli:43: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.mli:54: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/terms.ml:63: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matitaprover/terms.ml:70: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:49: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:60: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:404: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:412: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:462: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:555: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:566: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:598: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/paramod.ml:603: useage ==> usage
data/matita-0.99.3/components/binaries/matitaprover/trie.ml:73: wether ==> weather, whether
data/matita-0.99.3/components/binaries/matitaprover/hTopoSort.mli:27: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matitaprover/hTopoSort.mli:29: OT ==> TO, OF, OR
data/matita-0.99.3/components/binaries/matex/options.ml:49: identifer ==> identifier
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:357: upto ==> up to
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:359: upto ==> up to
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:359: upto ==> up to
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:440: ot ==> to, of, or
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:442: ot ==> to, of, or
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1156: ot ==> to, of, or
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1156: ot ==> to, of, or
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1252: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1256: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1256: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1257: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1258: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1259: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1259: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1326: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1328: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1337: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1347: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1353: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1357: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1358: occurence ==> occurrence
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1359: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1362: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1371: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1372: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1374: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1376: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1377: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1378: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicRefiner.ml:1380: te ==> the, be, we
data/matita-0.99.3/components/ng_refiner/nCicUnifHint.ml:240: sould ==> could, should, sold
data/matita-0.99.3/components/ng_refiner/nCicUnification.ml:29: upto ==> up to
data/matita-0.99.3/components/ng_refiner/nCicUnification.ml:30: upto ==> up to
data/matita-0.99.3/components/ng_refiner/nCicUnification.ml:602: upto ==> up to
data/matita-0.99.3/components/ng_cic_content/interpretations.ml:211: arithmetics ==> arithmetic
data/matita-0.99.3/components/ng_cic_content/interpretations.ml:279: upto ==> up to
data/matita-0.99.3/components/ng_cic_content/interpretations.ml:307: te ==> the, be, we
data/matita-0.99.3/components/ng_cic_content/interpretations.ml:354: te ==> the, be, we
data/matita-0.99.3/components/ng_cic_content/interpretations.ml:357: te ==> the, be, we
data/matita-0.99.3/components/extlib/hTopoSort.mli:27: OT ==> TO, OF, OR
data/matita-0.99.3/components/extlib/hTopoSort.mli:29: OT ==> TO, OF, OR
data/matita-0.99.3/components/extlib/trie.ml:73: wether ==> weather, whether
data/matita-0.99.3/components/extlib/hTopoSort.ml:26: OT ==> TO, OF, OR
data/matita-0.99.3/components/extlib/hTopoSort.ml:29: OT ==> TO, OF, OR
data/matita-0.99.3/components/ng_extraction/extraction.ml:29: te ==> the, be, we
data/matita-0.99.3/components/ng_extraction/extraction.ml:30: te ==> the, be, we
data/matita-0.99.3/components/ng_extraction/extraction.ml:33: te ==> the, be, we
data/matita-0.99.3/components/ng_extraction/extraction.ml:115: instanciation ==> instantiation
data/matita-0.99.3/components/ng_extraction/extraction.ml:116: instanciation ==> instantiation
data/matita-0.99.3/components/ng_extraction/extraction.ml:819: additionnal ==> additional
data/matita-0.99.3/components/ng_extraction/extraction.ml:833: contructor ==> constructor
data/matita-0.99.3/components/ng_extraction/nCicExtraction.ml:192: expecially ==> especially
data/matita-0.99.3/components/ng_extraction/nCicExtraction.ml:719: tyhe ==> they
data/matita-0.99.3/components/ng_extraction/nCicExtraction.ml:723: tyhe ==> they
data/matita-0.99.3/components/ng_extraction/nCicExtraction.ml:770: tyhe ==> they
data/matita-0.99.3/components/ng_extraction/mlutil.ml:55: Sustitution ==> Substitution
data/matita-0.99.3/components/ng_extraction/mlutil.ml:468: occurences ==> occurrences
data/matita-0.99.3/components/ng_extraction/mlutil.ml:477: occurences ==> occurrences
data/matita-0.99.3/components/ng_extraction/mlutil.ml:478: occurences ==> occurrences
data/matita-0.99.3/components/ng_extraction/mlutil.ml:1041: occurences ==> occurrences
data/matita-0.99.3/components/ng_extraction/mlutil.ml:1269: Futhermore ==> Furthermore
data/matita-0.99.3/components/ng_extraction/mlutil.ml:1271: mentionned ==> mentioned
data/matita-0.99.3/components/ng_extraction/mlutil.ml:1312: Specif ==> Specify, specific
data/matita-0.99.3/components/ng_extraction/ocamlExtractionTable.ml:150: ba ==> by, be
data/matita-0.99.3/components/ng_extraction/ocamlExtractionTable.ml:155: ba ==> by, be
data/matita-0.99.3/components/ng_extraction/ocamlExtractionTable.ml:157: ba ==> by, be
data/matita-0.99.3/components/ng_extraction/ocamlExtractionTable.ml:158: ba ==> by, be
data/matita-0.99.3/components/ng_extraction/ocaml.ml:129: Specif ==> Specify, specific
data/matita-0.99.3/components/ng_extraction/ocaml.ml:632: ot ==> to, of, or
data/matita-0.99.3/components/ng_extraction/ocaml.ml:642: ot ==> to, of, or
data/matita-0.99.3/components/getter/http_getter_misc.mli:85: occured ==> occurred
data/matita-0.99.3/components/ng_paramodulation/nCicParamod.ml:85: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/nCicParamod.ml:183: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:49: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:60: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:404: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:412: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:462: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:555: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:566: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:598: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.ml:603: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/terms.ml:63: OT ==> TO, OF, OR
data/matita-0.99.3/components/ng_paramodulation/terms.ml:70: OT ==> TO, OF, OR
data/matita-0.99.3/components/ng_paramodulation/paramod.mli:43: useage ==> usage
data/matita-0.99.3/components/ng_paramodulation/paramod.mli:54: useage ==> usage
data/matita-0.99.3/components/ng_kernel/nCicUtils.ml:20: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicUtils.ml:67: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicUtils.ml:77: upto ==> up to
data/matita-0.99.3/components/ng_kernel/paper.txt:36: convertion ==> conversion
data/matita-0.99.3/components/ng_kernel/paper.txt:46: contro ==> control
data/matita-0.99.3/components/ng_kernel/paper.txt:74: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicPp.ml:144: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:25: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:35: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:119: Occurr ==> Occur
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:125: Occurr ==> Occur
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:129: Occurr ==> Occur
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:167: ot ==> to, of, or
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:282: OT ==> TO, OF, OR
data/matita-0.99.3/components/ng_kernel/nCicUntrusted.ml:288: OT ==> TO, OF, OR
data/matita-0.99.3/components/ng_kernel/nCicUtils.mli:32: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.mli:32: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.mli:35: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nReference.mli:34: contructor ==> constructor
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:251: occurrs ==> occurs
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:251: lenght ==> length
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:406: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:407: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:414: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:417: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:420: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:420: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:424: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:429: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:430: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:445: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:445: upto ==> up to
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:449: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:450: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:451: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicReduction.ml:452: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/TODO:14: normale ==> normal
data/matita-0.99.3/components/ng_kernel/TEST:29: succede ==> succeed
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:208: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:209: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:210: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:213: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:215: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:219: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:221: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:228: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:228: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:247: occurence ==> occurrence
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:253: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:272: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:273: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:274: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:282: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:282: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:295: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:297: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:298: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:321: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:321: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:331: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:332: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:341: occurence ==> occurrence
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:352: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:378: contructor ==> constructor
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:531: consitent ==> consistent
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:601: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:601: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:764: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:768: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:768: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:769: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:769: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:794: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:813: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:817: occurence ==> occurrence
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:819: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:967: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:968: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1003: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1004: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1008: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1030: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1031: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1051: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1053: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1160: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1162: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1262: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1264: te ==> the, be, we
data/matita-0.99.3/components/ng_kernel/nCicTypeChecker.ml:1272: te ==> the, be, we
data/matita-0.99.3/matita/matita.lang:94: applyS ==> applies
data/matita-0.99.3/matita/applyTransformation.ml:43: pres ==> press
data/matita-0.99.3/matita/applyTransformation.ml:44: pres ==> press
data/matita-0.99.3/matita/applyTransformation.ml:44: pres ==> press
data/matita-0.99.3/matita/applyTransformation.ml:46: pres ==> press
data/matita-0.99.3/matita/matita.conf.xml.in:39: becames ==> becomes, became
data/matita-0.99.3/matita/matita.conf.xml.in:52: diffrently ==> differently
data/matita-0.99.3/matita/matita.conf.xml.in:59: acess ==> access
data/matita-0.99.3/matita/matita.conf.xml.in:59: trought ==> through
data/matita-0.99.3/matita/matita.conf.xml.in:77: wont ==> won't
data/matita-0.99.3/matita/predefined_virtuals.ml:48: curren ==> current
data/matita-0.99.3/matita/predefined_virtuals.ml:108: becaus ==> because
data/matita-0.99.3/matita/predefined_virtuals.ml:1260: olt ==> old
data/matita-0.99.3/matita/predefined_virtuals.ml:1322: andd ==> and
data/matita-0.99.3/matita/predefined_virtuals.ml:1332: pluse ==> pulse
data/matita-0.99.3/matita/predefined_virtuals.ml:1355: lates ==> later, latest
data/matita-0.99.3/matita/matitaInit.ml:139: depency ==> dependency
data/matita-0.99.3/matita/matita.txt:23: termine ==> determine
data/matita-0.99.3/matita/matita.txt:26: Possibile ==> Possible
data/matita-0.99.3/matita/matita.txt:62: fase ==> faze, phase
data/matita-0.99.3/matita/matita.txt:77: similia ==> similar
data/matita-0.99.3/matita/matita.txt:105: forse ==> force
data/matita-0.99.3/matita/matita.txt:106: forse ==> force
data/matita-0.99.3/matita/matita.txt:107: Forse ==> Force
data/matita-0.99.3/matita/matita.txt:133: comando ==> commando
data/matita-0.99.3/matita/matita.txt:154: momento ==> memento
data/matita-0.99.3/matita/matita.txt:165: fase ==> faze, phase
data/matita-0.99.3/matita/matita.txt:178: possibile ==> possible
data/matita-0.99.3/matita/matita.txt:186: possibile ==> possible
data/matita-0.99.3/matita/matita.txt:203: forse ==> force
data/matita-0.99.3/matita/matita.txt:233: comando ==> commando
data/matita-0.99.3/matita/matita.txt:264: alle ==> all, alley
data/matita-0.99.3/matita/matita.txt:279: visibile ==> visible
data/matita-0.99.3/matita/matita.txt:304: forse ==> force
data/matita-0.99.3/matita/matita.txt:305: forse ==> force
data/matita-0.99.3/matita/matita.txt:308: momento ==> memento
data/matita-0.99.3/matita/matita.txt:332: termine ==> determine
data/matita-0.99.3/matita/matita.txt:363: stati ==> statuses
data/matita-0.99.3/matita/matita.txt:364: stati ==> statuses
data/matita-0.99.3/matita/matita.txt:371: termine ==> determine
data/matita-0.99.3/matita/matita.txt:397: stati ==> statuses
data/matita-0.99.3/matita/matita.txt:412: stati ==> statuses
data/matita-0.99.3/matita/matita.txt:414: stati ==> statuses
data/matita-0.99.3/matita/matita.txt:422: possibile ==> possible
data/matita-0.99.3/matita/matita.txt:447: stati ==> statuses
data/matita-0.99.3/matita/Makefile:332: sligtly ==> slightly
data/matita-0.99.3/matita/matitaMathView.ml:498: amoung ==> among
data/matita-0.99.3/matita/matitaScript.mli:79: alwais ==> always
data/matita-0.99.3/matita/matitaGui.ml:476: manal ==> manual
data/matita-0.99.3/matita/matitaGui.ml:477: syste ==> system
data/matita-0.99.3/matita/matitaGui.ml:783: problably ==> probably
data/matita-0.99.3/matita/cicMathView.ml:594: TERMINE ==> DETERMINE
data/matita-0.99.3/matita/cicMathView.ml:594: MOMENTO ==> MEMENTO
data/matita-0.99.3/matita/matitaclean.ml:44: progess ==> progress
data/matita-0.99.3/matita/re_complete/re.ma:435: lefted ==> left
data/matita-0.99.3/matita/re_complete/moves.ma:383: fron ==> from
data/matita-0.99.3/matita/re_complete/basics/sets.ma:22: substraction ==> subtraction
data/matita-0.99.3/matita/re_complete/basics/sets.ma:23: substraction ==> subtraction
data/matita-0.99.3/matita/re_complete/basics/sets.ma:23: substraction ==> subtraction
data/matita-0.99.3/matita/re_complete/basics/sets.ma:104: substraction ==> subtraction
data/matita-0.99.3/matita/re_complete/basics/nat.ma:243: arithmetics ==> arithmetic
data/matita-0.99.3/matita/re_complete/basics/hints_declaration.ma:28: unbelivable ==> unbelievable
data/matita-0.99.3/matita/re_complete/basics/listb.ma:127: applyS ==> applies
data/matita-0.99.3/matita/lib/Makefile:7: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/hints_declaration.ma:42: unbelivable ==> unbelievable
data/matita-0.99.3/matita/lib/hints_declaration.ma:59: unbelivable ==> unbelievable
data/matita-0.99.3/matita/lib/arithmetics/minimization.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/minimization.ma:190: minimun ==> minimum
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:66: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:75: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:96: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:102: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:156: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:180: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:232: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:234: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:247: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:274: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:316: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:326: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:390: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/div_and_mod.ma:391: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/exp.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/exp.ma:45: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/exp.ma:53: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/exp.ma:97: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/sqrt.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:14: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:32: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:33: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:43: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:45: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:59: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/chinese_reminder.ma:74: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/bounded_quantifiers.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/nat.ma:583: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/nat.ma:605: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/nat.ma:609: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/nat.ma:680: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/nat.ma:730: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/nat.ma:731: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/nat.ma:783: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/lstar.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/nat_commented.ma:196: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/gcd.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/gcd.ma:161: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/gcd.ma:202: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/gcd.ma:204: applyS ==> applies
data/matita-0.99.3/matita/lib/arithmetics/sigma_pi.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/sigma_pi.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/sigma_pi.ma:76: genral ==> general
data/matita-0.99.3/matita/lib/arithmetics/binomial.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/binomial.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/primes.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/primes.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/permutation.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/ord.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/ord.ma:14: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/ord.ma:15: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:290: upto ==> up to
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:293: upto ==> up to
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:294: upto ==> up to
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:300: upto ==> up to
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:304: upto ==> up to
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:308: upto ==> up to
data/matita-0.99.3/matita/lib/arithmetics/bigops.ma:309: upto ==> up to
data/matita-0.99.3/matita/lib/arithmetics/pidgeon_hole.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/congruence.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/factorial.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/factorial.ma:86: sligtly ==> slightly
data/matita-0.99.3/matita/lib/arithmetics/fermat_little_theorem.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/fermat_little_theorem.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/fermat_little_theorem.ma:14: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/fermat_little_theorem.ma:15: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/fermat_little_theorem.ma:16: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/iteration.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/log.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/log.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/log.ma:14: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/factorization.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/factorization.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/factorization.ma:14: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/psi_bounds.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/psi_bounds.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/psi_bounds.ma:288: Spred ==> Spread
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/psi_bounds.ma:288: Spred ==> Spread
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/chebyshev_psi.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/chebyshev_psi.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/chebyshev_psi.ma:51: usefull ==> useful
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/bertrand.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/bertrand.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/bertrand.ma:14: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/bertrand256.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/chebyshev_theta.ma:12: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/chebyshev_theta.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/arithmetics/chebyshev/chebyshev_theta.ma:14: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/tutorial/chapter13.ma:289: keywork ==> keyword
data/matita-0.99.3/matita/lib/tutorial/chapter13.ma:645: MOMENTO ==> MEMENTO
data/matita-0.99.3/matita/lib/tutorial/chapter13.ma:823: doen ==> done
data/matita-0.99.3/matita/lib/tutorial/chapter13.ma:827: Intensional ==> Intentional
data/matita-0.99.3/matita/lib/tutorial/chapter13.ma:831: intensionally ==> intentionally
data/matita-0.99.3/matita/lib/tutorial/chapter13.ma:929: TOPOLOGIE ==> TOPOLOGY
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:6: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:55: otion ==> option
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:65: intersting ==> interesting
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:202: funtion ==> function
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:213: sligtly ==> slightly
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:215: auxilary ==> auxiliary
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:345: lenght ==> length
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:369: lenght ==> length
data/matita-0.99.3/matita/lib/tutorial/chapter5.ma:408: lenght ==> length
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:27: substraction ==> subtraction
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:39: substraction ==> subtraction
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:40: substraction ==> subtraction
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:40: substraction ==> subtraction
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:61: intensional ==> intentional
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:198: insterted ==> inserted
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:409: Happend ==> Happened, happens, happen
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:409: Happend ==> Happened, happens, happen
data/matita-0.99.3/matita/lib/tutorial/chapter6.ma:510: intersting ==> interesting
data/matita-0.99.3/matita/lib/tutorial/chapter7.ma:31: substraction ==> subtraction
data/matita-0.99.3/matita/lib/tutorial/chapter12.ma:17: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/tutorial/chapter12.ma:29: litterature ==> literature
data/matita-0.99.3/matita/lib/tutorial/chapter12.ma:474: preferrable ==> preferable
data/matita-0.99.3/matita/lib/tutorial/chapter11.ma:7: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter11.ma:31: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter11.ma:59: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter11.ma:110: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter11.ma:190: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter11.ma:332: fron ==> from
data/matita-0.99.3/matita/lib/tutorial/chapter2.ma:165: consituents ==> constituents
data/matita-0.99.3/matita/lib/tutorial/chapter2.ma:222: possibilites ==> possibilities
data/matita-0.99.3/matita/lib/tutorial/chapter2.ma:223: possibile ==> possible
data/matita-0.99.3/matita/lib/tutorial/chapter4.ma:281: intensionally ==> intentionally
data/matita-0.99.3/matita/lib/tutorial/chapter4.ma:488: intead ==> instead
data/matita-0.99.3/matita/lib/tutorial/chapter4.ma:543: defintion ==> definition
data/matita-0.99.3/matita/lib/tutorial/chapter3.ma:170: splitted ==> split
data/matita-0.99.3/matita/lib/tutorial/chapter3.ma:417: recusive ==> recursive, reclusive
data/matita-0.99.3/matita/lib/tutorial/chapter3.ma:433: slighty ==> slightly
data/matita-0.99.3/matita/lib/tutorial/chapter3.ma:444: intensional ==> intentional
data/matita-0.99.3/matita/lib/tutorial/chapter3.ma:451: differents ==> different, difference
data/matita-0.99.3/matita/lib/tutorial/chapter3.ma:451: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/tutorial/chapter3.ma:608: beinning ==> beginning
data/matita-0.99.3/matita/lib/tutorial/chapter8.ma:88: sysmbol ==> symbol
data/matita-0.99.3/matita/lib/tutorial/chapter8.ma:141: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter8.ma:143: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter8.ma:145: refects ==> reflects
data/matita-0.99.3/matita/lib/tutorial/chapter1.ma:313: itslef ==> itself
data/matita-0.99.3/matita/lib/tutorial/chapter1.ma:396: sligtly ==> slightly
data/matita-0.99.3/matita/lib/tutorial/chapter1.ma:425: instatiate ==> instantiate
data/matita-0.99.3/matita/lib/tutorial/chapter10.ma:170: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter10.ma:190: opertions ==> operations
data/matita-0.99.3/matita/lib/tutorial/chapter10.ma:250: applyS ==> applies
data/matita-0.99.3/matita/lib/tutorial/chapter9.ma:73: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter9.ma:129: pres ==> press
data/matita-0.99.3/matita/lib/tutorial/chapter9.ma:283: pres ==> press
data/matita-0.99.3/matita/lib/basics/sets.ma:33: substraction ==> subtraction
data/matita-0.99.3/matita/lib/basics/sets.ma:34: substraction ==> subtraction
data/matita-0.99.3/matita/lib/basics/sets.ma:34: substraction ==> subtraction
data/matita-0.99.3/matita/lib/basics/sets.ma:116: substraction ==> subtraction
data/matita-0.99.3/matita/lib/basics/core_notation.ma:195: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/basics/lists/list.ma:13: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/basics/lists/listb.ma:181: Happend ==> Happened, happens, happen
data/matita-0.99.3/matita/lib/basics/lists/listb.ma:181: Happend ==> Happened, happens, happen
data/matita-0.99.3/matita/lib/basics/lists/listb.ma:235: applyS ==> applies
data/matita-0.99.3/matita/lib/hott/Overture.ma:299: priciple ==> principle
data/matita-0.99.3/matita/lib/MONADS/speranza2.ma:16: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/MONADS/speranza.ma:16: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/re/re.ma:144: pres ==> press
data/matita-0.99.3/matita/lib/re/re.ma:146: pres ==> press
data/matita-0.99.3/matita/lib/re/re.ma:148: refects ==> reflects
data/matita-0.99.3/matita/lib/re/re.ma:389: pres ==> press
data/matita-0.99.3/matita/lib/re/re.ma:448: pres ==> press
data/matita-0.99.3/matita/lib/re/re.ma:611: pres ==> press
data/matita-0.99.3/matita/lib/re/lang.ma:17: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/re/moves.ma:225: pres ==> press
data/matita-0.99.3/matita/lib/re/moves.ma:250: pres ==> press
data/matita-0.99.3/matita/lib/re/moves.ma:293: pres ==> press
data/matita-0.99.3/matita/lib/re/moves.ma:377: pres ==> press
data/matita-0.99.3/matita/lib/re/moves.ma:490: fron ==> from
data/matita-0.99.3/matita/lib/re/reb.ma:15: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/re/reb.ma:310: substract ==> subtract
data/matita-0.99.3/matita/lib/re/reb.ma:311: substract ==> subtract
data/matita-0.99.3/matita/lib/re/reb.ma:311: substract ==> subtract
data/matita-0.99.3/matita/lib/re/reb.ma:564: rmove ==> remove
data/matita-0.99.3/matita/lib/re/reb.ma:565: rmove ==> remove
data/matita-0.99.3/matita/lib/re/reb.ma:565: rmove ==> remove
data/matita-0.99.3/matita/lib/reverse_complexity/speed_def.ma:2: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_def.ma:3: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_def.ma:4: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_def.ma:5: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/hierarchy.ma:2: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/hierarchy.ma:3: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/hierarchy.ma:4: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/hierarchy.ma:5: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/hierarchy.ma:6: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/hierarchy.ma:7: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/hierarchy.ma:544: hierachy ==> hierarchy
data/matita-0.99.3/matita/lib/reverse_complexity/speed_new.ma:2: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_new.ma:3: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_new.ma:4: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_new.ma:5: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/gap.ma:2: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/gap.ma:3: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/gap.ma:4: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/gap.ma:5: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/gap.ma:9: defintion ==> definition
data/matita-0.99.3/matita/lib/reverse_complexity/speed_clean.ma:2: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_clean.ma:3: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_clean.ma:4: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/speed_clean.ma:5: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/big_O.ma:2: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/toolkit.ma:2: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/toolkit.ma:3: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/toolkit.ma:4: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/toolkit.ma:5: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/reverse_complexity/toolkit.ma:362: primitve ==> primitive
data/matita-0.99.3/matita/lib/pts_dummy/ext.ma:19: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/pts_dummy/cube.ma:43: FO ==> OF, FOR
data/matita-0.99.3/matita/lib/pts_dummy/CC2FO_K_cube.ma:21: FO ==> OF, FOR
data/matita-0.99.3/matita/lib/pts_dummy/subst.ma:41: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/subst.ma:83: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/subst.ma:94: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/subst.ma:112: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/subst.ma:152: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/subst.ma:176: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/subst.ma:188: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/CC2FO_K.ma:17: ELSEWERE ==> ELSEWHERE
data/matita-0.99.3/matita/lib/pts_dummy/terms.ma:46: nautral ==> natural, neutral
data/matita-0.99.3/matita/lib/pts_dummy/types.ma:124: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/types.ma:152: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/types.ma:160: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/types.ma:171: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/types.ma:174: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy/types.ma:178: applyS ==> applies
data/matita-0.99.3/matita/lib/turing/basic_machines.ma:153: Rmove ==> Remove
data/matita-0.99.3/matita/lib/turing/basic_machines.ma:157: Rmove ==> Remove
data/matita-0.99.3/matita/lib/turing/basic_machines.ma:163: wether ==> weather, whether
data/matita-0.99.3/matita/lib/turing/basic_machines.ma:381: combiation ==> combination
data/matita-0.99.3/matita/lib/turing/basic_machines.ma:382: adiacent ==> adjacent
data/matita-0.99.3/matita/lib/turing/basic_machines.ma:495: combiation ==> combination
data/matita-0.99.3/matita/lib/turing/basic_machines.ma:496: adiacent ==> adjacent
data/matita-0.99.3/matita/lib/turing/basic_multi_machines.ma:227: stings ==> strings
data/matita-0.99.3/matita/lib/turing/basic_multi_machines.ma:400: oveflow ==> overflow
data/matita-0.99.3/matita/lib/turing/basic_multi_machines.ma:544: succesfull ==> successful
data/matita-0.99.3/matita/lib/turing/auxiliary_multi_machines.ma:196: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/auxiliary_multi_machines.ma:360: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_to_mono/trace_alphabet.ma:37: boolen ==> boolean
data/matita-0.99.3/matita/lib/turing/multi_to_mono/shift_trace.ma:387: wether ==> weather, whether
data/matita-0.99.3/matita/lib/turing/multi_to_mono/shift_trace_aux.ma:5: bord ==> board, bored, border
data/matita-0.99.3/matita/lib/turing/multi_to_mono/multi_to_mono.ma:354: wether ==> weather, whether
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:230: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:232: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:234: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:236: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:237: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:248: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:248: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:250: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:250: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:250: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:484: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:489: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:489: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:492: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:493: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:495: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:496: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:507: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:508: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:509: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:510: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:516: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:518: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:520: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:536: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:536: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:539: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:540: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:542: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:543: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:556: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:557: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:558: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:559: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:565: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:565: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:568: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:593: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:599: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:600: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:600: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:600: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:611: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:612: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:613: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:614: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:615: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:616: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:618: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:634: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:635: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:635: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:635: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:645: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:646: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:647: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:648: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:650: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:653: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:653: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/match.ma:656: hda ==> had
data/matita-0.99.3/matita/lib/turing/multi_universal/normalTM.ma:96: lenght ==> length
data/matita-0.99.3/matita/lib/turing/multi_universal/normalTM.ma:97: intial ==> initial
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:98: Htmp ==> Html
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:98: Htmp ==> Html
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:110: Htmp ==> Html
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:110: Htmp ==> Html
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:228: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:231: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:233: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:237: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:242: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:244: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:244: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:433: Htmp ==> Html
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:434: Htmp ==> Html
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:435: Htmp ==> Html
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep_aux.ma:436: Htmp ==> Html
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:211: te ==> the, be, we
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:217: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:225: fo ==> of, for
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:225: fo ==> of, for
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:227: fo ==> of, for
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:227: fo ==> of, for
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:228: fo ==> of, for
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:234: Hte ==> The
data/matita-0.99.3/matita/lib/turing/multi_universal/unistep.ma:262: fo ==> of, for
data/matita-0.99.3/matita/lib/turing/multi_universal/binaryTM.ma:314: stati ==> statuses
data/matita-0.99.3/matita/lib/turing/multi_universal/binaryTM.ma:317: fase ==> faze, phase
data/matita-0.99.3/matita/lib/pts_dummy_new/ext.ma:19: arithmetics ==> arithmetic
data/matita-0.99.3/matita/lib/pts_dummy_new/cube.ma:43: FO ==> OF, FOR
data/matita-0.99.3/matita/lib/pts_dummy_new/subst.ma:175: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/subst.ma:182: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/subst.ma:204: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/subst.ma:241: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/subst.ma:264: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/types.ma:124: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/types.ma:152: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/types.ma:160: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/types.ma:171: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/types.ma:174: applyS ==> applies
data/matita-0.99.3/matita/lib/pts_dummy_new/types.ma:178: applyS ==> applies
data/matita-0.99.3/matita/lib/formal_topology/r-o-basic_pairs.ma:226: alle ==> all, alley
data/matita-0.99.3/matita/lib/formal_topology/r-o-basic_pairs.ma:227: alle ==> all, alley
data/matita-0.99.3/matita/lib/formal_topology/apply_functor.ma:18: Fo ==> Of, for
data/matita-0.99.3/matita/lib/formal_topology/apply_functor.ma:32: Fo ==> Of, for
data/matita-0.99.3/matita/lib/formal_topology/apply_functor.ma:39: Fo ==> Of, for
data/matita-0.99.3/matita/lib/formal_topology/apply_functor.ma:55: Fo ==> Of, for
data/matita-0.99.3/matita/lib/formal_topology/apply_functor.ma:55: Fo ==> Of, for
data/matita-0.99.3/matita/lib/formal_topology/apply_functor.ma:91: Fo ==> Of, for
data/matita-0.99.3/matita/lib/formal_topology/relations_to_o-algebra.ma:131: forse ==> force
data/matita-0.99.3/matita/dist/ChangeLog:41: trough ==> through
data/matita-0.99.3/matita/dist/ChangeLog:62: intereseted ==> interested
data/matita-0.99.3/matita/dist/ChangeLog:98: hiearchy ==> hierarchy
data/matita-0.99.3/matita/dist/ChangeLog:114: parenthese ==> parentheses
data/matita-0.99.3/matita/doc/primer.txt:73: nothin ==> nothing
data/matita-0.99.3/matita/doc/primer.txt:75: seach ==> search
data/matita-0.99.3/matita/doc/primer.txt:446: choosed ==> chose, chosen
data/matita-0.99.3/matita/doc/primer.txt:533: informations ==> information
data/matita-0.99.3/matita/help/C/sec_gettingstarted.xml:8: expecially ==> especially
data/matita-0.99.3/matita/help/C/sec_gettingstarted.xml:29: trough ==> through
data/matita-0.99.3/matita/help/C/sec_gettingstarted.xml:147: yuor ==> your
data/matita-0.99.3/matita/help/C/sec_declarative_tactics.xml:347: wich ==> which
data/matita-0.99.3/matita/help/C/sec_tactics.xml:354: occurence ==> occurrence
data/matita-0.99.3/matita/help/C/sec_tactics.xml:370: applyS ==> applies
data/matita-0.99.3/matita/help/C/sec_tactics.xml:371: applyS ==> applies
data/matita-0.99.3/matita/help/C/sec_tactics.xml:372: applyS ==> applies
data/matita-0.99.3/matita/help/C/sec_tactics.xml:378: applyS ==> applies
data/matita-0.99.3/matita/help/C/sec_tactics.xml:392: applyS ==> applies
data/matita-0.99.3/matita/help/C/sec_commands.xml:698: dafault ==> default
data/matita-0.99.3/matita/help/C/tactics_quickref.xml:13: applyS ==> applies
data/matita-0.99.3/matita/help/C/sec_install.xml:118: beloging ==> belonging
data/matita-0.99.3/matita/help/C/sec_install.xml:139: shuld ==> should
data/matita-0.99.3/matita/help/C/sec_install.xml:154: MaxOSX ==> macosx
data/matita-0.99.3/matita/help/C/sec_install.xml:218: proceding ==> proceeding, preceding
data/matita-0.99.3/matita/help/C/sec_install.xml:427: cristal ==> crystal
data/matita-0.99.3/matita/help/C/sec_install.xml:631: trough ==> through
data/matita-0.99.3/matita/help/C/sec_install.xml:670: fron ==> from
data/matita-0.99.3/matita/help/C/sec_install.xml:673: kepps ==> keeps
data/matita-0.99.3/matita/help/C/sec_install.xml:675: fron ==> from
data/matita-0.99.3/matita/help/C/sec_install.xml:687: trough ==> through
data/matita-0.99.3/matita/help/C/sec_install.xml:689: fron ==> from
data/matita-0.99.3/matita/help/C/xhtml1-transitional.dtd:59: curren ==> current
data/matita-0.99.3/matita/help/C/xhtml1-transitional.dtd:459: ket ==> kept
data/matita-0.99.3/matita/help/C/xsl/matita-fo.xsl:3: fo ==> of, for
data/matita-0.99.3/matita/projdat/tuples.ma:102: CNat ==> can't
data/matita-0.99.3/matita/projdat/tuples.ma:110: CNat ==> can't
data/matita-0.99.3/matita/projdat/basic_type.ma:15: arithmetics ==> arithmetic
data/matita-0.99.3/matita/projdat/basic_type.ma:20: CNat ==> can't
data/matita-0.99.3/matita/projdat/basic_type.ma:24: CNat ==> can't
data/matita-0.99.3/matita/projdat/basic_type.ma:24: CNat ==> can't
data/matita-0.99.3/matita/projdat/basic_type.ma:44: CNat ==> can't
data/matita-0.99.3/matita/projdat/coerc.ma:176: CNat ==> can't
data/matita-0.99.3/matita/projdat/coerc.ma:176: CNat ==> can't
data/matita-0.99.3/matita/legacy/coq.ma:35: aritmetic ==> arithmetic
data/matita-0.99.3/matita/legacy/coq.ma:75: leibnitz ==> leibniz
data/matita-0.99.3/debian/rules:24: interative ==> interactive
data/matita-0.99.3/debian/rules:28: interative ==> interactive