data/spass-3.9/array.c:93: elemets ==> elements
data/spass-3.9/array.c:264: occurence ==> occurrence
data/spass-3.9/clause.c:1632: indeces ==> indices
data/spass-3.9/clause.c:2838: occurences ==> occurrences
data/spass-3.9/clause.c:5358: assing ==> assign
data/spass-3.9/clause.c:5359: occured ==> occurred
data/spass-3.9/clause.c:6089: nIn ==> inn, min, bin, nine
data/spass-3.9/clause.c:6830: spliting ==> splitting
data/spass-3.9/clock.c:136: akkumulated ==> accumulated
data/spass-3.9/closure.c:64: circularly ==> circular
data/spass-3.9/closure.c:271: circularly ==> circular
data/spass-3.9/cmdline.c:248: agrguments ==> arguments
data/spass-3.9/cnf.c:1365: occured ==> occurred
data/spass-3.9/cnf.c:1600: poped ==> popped, pooped
data/spass-3.9/cnf.c:1601: poped ==> popped, pooped
data/spass-3.9/cnf.c:3529: nIn ==> inn, min, bin, nine
data/spass-3.9/cnf.c:4657: nIn ==> inn, min, bin, nine
data/spass-3.9/cnf.c:4708: nIn ==> inn, min, bin, nine
data/spass-3.9/cnf.c:4747: nIn ==> inn, min, bin, nine
data/spass-3.9/cnf.c:4752: nIn ==> inn, min, bin, nine
data/spass-3.9/cnf.c:4763: nIn ==> inn, min, bin, nine
data/spass-3.9/cnf.c:4768: nIn ==> inn, min, bin, nine
data/spass-3.9/context.c:767: nNumber ==> number
data/spass-3.9/context.c:771: nNumber ==> number
data/spass-3.9/context.c:1551: varibles ==> variables
data/spass-3.9/context.c:1580: occuring ==> occurring
data/spass-3.9/defs.c:146: Lits ==> List
data/spass-3.9/defs.c:177: Lits ==> List
data/spass-3.9/defs.c:619: occurences ==> occurrences
data/spass-3.9/defs.c:662: occurences ==> occurrences
data/spass-3.9/defs.c:711: occurences ==> occurrences
data/spass-3.9/dfg2dimacs.c:143: perfrom ==> perform
data/spass-3.9/dfg2dimacs.c:183: perfrom ==> perform
data/spass-3.9/dfg2otter.c:125: perfrom ==> perform
data/spass-3.9/dfg2otter.c:164: perfrom ==> perform
data/spass-3.9/dfg2tptp.c:213: formule ==> formula, formulas
data/spass-3.9/dfg2tptp.c:328: perfrom ==> perform
data/spass-3.9/dfgparser.c:441: whis ==> this
data/spass-3.9/dfgparser.c:548: whis ==> this
data/spass-3.9/dfgparser.c:567: propably ==> probably
data/spass-3.9/dfgparser.c:702: tupel ==> tuple
data/spass-3.9/dfgparser.c:711: tupel ==> tuple
data/spass-3.9/dfgparser.c:712: tupel ==> tuple
data/spass-3.9/dfgparser.c:717: tupel ==> tuple
data/spass-3.9/dfgparser.c:718: tupel ==> tuple
data/spass-3.9/dfgparser.c:724: tupel ==> tuple
data/spass-3.9/dfgparser.c:725: tupel ==> tuple
data/spass-3.9/dfgparser.c:728: tupel ==> tuple
data/spass-3.9/dfgparser.c:734: tupel ==> tuple
data/spass-3.9/dfgparser.c:735: tupel ==> tuple
data/spass-3.9/dfgparser.c:740: tupel ==> tuple
data/spass-3.9/dfgparser.c:741: tupel ==> tuple
data/spass-3.9/dfgparser.c:747: tupel ==> tuple
data/spass-3.9/dfgparser.c:748: tupel ==> tuple
data/spass-3.9/dfgparser.c:751: tupel ==> tuple
data/spass-3.9/dfgparser.c:781: tupel ==> tuple
data/spass-3.9/dfgparser.c:789: tupel ==> tuple
data/spass-3.9/dfgparser.c:790: tupel ==> tuple
data/spass-3.9/dfgparser.c:795: tupel ==> tuple
data/spass-3.9/dfgparser.c:796: tupel ==> tuple
data/spass-3.9/dfgparser.c:802: tupel ==> tuple
data/spass-3.9/dfgparser.c:803: tupel ==> tuple
data/spass-3.9/dfgparser.c:806: tupel ==> tuple
data/spass-3.9/dfgparser.c:812: tupel ==> tuple
data/spass-3.9/dfgparser.c:813: tupel ==> tuple
data/spass-3.9/dfgparser.c:818: tupel ==> tuple
data/spass-3.9/dfgparser.c:819: tupel ==> tuple
data/spass-3.9/dfgparser.c:825: tupel ==> tuple
data/spass-3.9/dfgparser.c:826: tupel ==> tuple
data/spass-3.9/dfgparser.c:829: tupel ==> tuple
data/spass-3.9/dfgparser.c:1120: tupel ==> tuple
data/spass-3.9/dfgparser.c:1133: tupel ==> tuple
data/spass-3.9/dfgparser.c:1134: tupel ==> tuple
data/spass-3.9/dfgparser.c:1135: tupel ==> tuple
data/spass-3.9/dfgparser.c:1138: tupel ==> tuple
data/spass-3.9/dfgparser.c:1144: tupel ==> tuple
data/spass-3.9/dfgparser.c:1145: tupel ==> tuple
data/spass-3.9/dfgparser.c:1150: tupel ==> tuple
data/spass-3.9/dfgparser.c:1151: tupel ==> tuple
data/spass-3.9/dfgparser.c:1152: tupel ==> tuple
data/spass-3.9/dfgparser.c:1155: tupel ==> tuple
data/spass-3.9/dfgparser.c:1161: tupel ==> tuple
data/spass-3.9/dfgparser.c:1162: tupel ==> tuple
data/spass-3.9/dfgparser.c:1333: tupel ==> tuple
data/spass-3.9/dfgparser.c:1334: tupel ==> tuple
data/spass-3.9/dfgparser.c:1335: tupel ==> tuple
data/spass-3.9/dfgparser.c:1336: tupel ==> tuple
data/spass-3.9/dfgparser.c:1337: tupel ==> tuple
data/spass-3.9/dfgparser.c:1376: negativ ==> negative
data/spass-3.9/dfgparser.c:4406: tupel ==> tuple
data/spass-3.9/dfgparser.c:4411: tupel ==> tuple
data/spass-3.9/dfgparser.c:4412: tupel ==> tuple
data/spass-3.9/dfgparser.c:4412: tupel ==> tuple
data/spass-3.9/dfgparser.c:4413: tupel ==> tuple
data/spass-3.9/dimparser.c:138: occurence ==> occurrence
data/spass-3.9/dimparser.c:145: containes ==> contains
data/spass-3.9/dimparser.c:145: occurence ==> occurrence
data/spass-3.9/dimparser.c:145: varible ==> variable
data/spass-3.9/eml.c:352: FO ==> OF, FOR
data/spass-3.9/eml.c:357: FO ==> OF, FOR
data/spass-3.9/eml.c:502: Additonal ==> Additional
data/spass-3.9/eml.c:610: Struture ==> Structure
data/spass-3.9/eml.c:632: fo ==> of, for
data/spass-3.9/eml.c:1293: conincides ==> coincides
data/spass-3.9/eml.c:1462: fo ==> of, for
data/spass-3.9/eml.c:2569: nD ==> and, 2nd
data/spass-3.9/eml.c:2944: possbily ==> possibly
data/spass-3.9/flags.c:782: RAED ==> READ
data/spass-3.9/flags.c:1406: Initalizes ==> Initializes
data/spass-3.9/foldfg.c:417: assignemnts ==> assignments
data/spass-3.9/foldfg.c:446: Desctructive ==> Destructive
data/spass-3.9/foldfg.c:761: modul ==> module
data/spass-3.9/foldfg.c:1980: occurences ==> occurrences
data/spass-3.9/foldfg.c:2128: occurences ==> occurrences
data/spass-3.9/foldfg.c:2388: funktion ==> function
data/spass-3.9/foldfg.c:2632: occure ==> occur, occurred
data/spass-3.9/hashmap.c:337: admissable ==> admissible
data/spass-3.9/hashmap.c:398: arry ==> array, carry
data/spass-3.9/iaparser.y:4: MODUL ==> MODULE
data/spass-3.9/kbo.c:250: consants ==> constants
data/spass-3.9/kbo.c:707: smalles ==> smallest
data/spass-3.9/list.c:1823: Occurences ==> Occurrences
data/spass-3.9/list.c:1829: Occurences ==> Occurrences
data/spass-3.9/list.c:1830: Occurences ==> Occurrences
data/spass-3.9/misc.c:201: containg ==> containing
data/spass-3.9/misc.c:210: containg ==> containing
data/spass-3.9/misc.c:276: containg ==> containing
data/spass-3.9/misc.c:285: containg ==> containing
data/spass-3.9/order.c:339: Comparision ==> Comparison
data/spass-3.9/order.c:365: implementaion ==> implementation
data/spass-3.9/order.c:821: comparision ==> comparison
data/spass-3.9/order.c:1246: occurence ==> occurrence
data/spass-3.9/order.c:1266: occuring ==> occurring
data/spass-3.9/pgen.c:102: Initalization ==> Initialization
data/spass-3.9/renaming.c:1566: depency ==> dependency
data/spass-3.9/rules-red.c:99: FUNTION ==> FUNCTION
data/spass-3.9/rules-red.c:195: initalizes ==> initializes
data/spass-3.9/rules-red.c:2234: succeded ==> succeeded
data/spass-3.9/rules-red.c:2719: fullfiled ==> fulfilled
data/spass-3.9/rules-red.c:2726: rewitten ==> rewritten
data/spass-3.9/rules-red.c:3406: additonal ==> additional
data/spass-3.9/rules-red.c:3653: explicitely ==> explicitly
data/spass-3.9/rules-red.c:4552: additonal ==> additional
data/spass-3.9/rules-red.c:4604: explicitely ==> explicitly
data/spass-3.9/rules-red.c:4723: rewitten ==> rewritten
data/spass-3.9/rules-red.c:5053: lits ==> list
data/spass-3.9/rules-sort.c:143: Lits ==> List
data/spass-3.9/rules-sort.c:149: Lits ==> List
data/spass-3.9/rules-sort.c:183: Lits ==> List
data/spass-3.9/rules-sort.c:188: Lits ==> List
data/spass-3.9/rules-sort.c:212: Lits ==> List
data/spass-3.9/rules-sort.c:326: Lits ==> List
data/spass-3.9/rules-sort.c:332: Lits ==> List
data/spass-3.9/rules-sort.c:335: indeces ==> indices
data/spass-3.9/rules-sort.c:343: Lits ==> List
data/spass-3.9/rules-sort.c:382: Lits ==> List
data/spass-3.9/rules-sort.c:684: adress ==> address
data/spass-3.9/search.c:1375: splitted ==> split
data/spass-3.9/search.c:1378: splitted ==> split
data/spass-3.9/search.c:1541: als ==> also
data/spass-3.9/search.c:1638: splitted ==> split
data/spass-3.9/search.c:1640: splitted ==> split
data/spass-3.9/search.c:1706: mechansim ==> mechanism
data/spass-3.9/search.h:54: splitted ==> split
data/spass-3.9/search.h:64: splitted ==> split
data/spass-3.9/sharing.c:129: ist ==> is, it, its, it's, sit, list
data/spass-3.9/sort.c:1531: Lits ==> List
data/spass-3.9/sort.c:1535: Lits ==> List
data/spass-3.9/sort.c:1544: Lits ==> List
data/spass-3.9/sort.c:1545: Lits ==> List
data/spass-3.9/sort.c:1550: Lits ==> List
data/spass-3.9/sort.c:1550: Lits ==> List
data/spass-3.9/sort.c:1552: Lits ==> List
data/spass-3.9/st.c:1789: indention ==> indentation
data/spass-3.9/strings.c:329: indentify ==> identify
data/spass-3.9/strings.c:329: delimitors ==> delimiters
data/spass-3.9/subsumption.c:1398: ist ==> is, it, its, it's, sit, list
data/spass-3.9/symbol.c:1365: occuring ==> occurring
data/spass-3.9/symbol.c:1631: occurences ==> occurrences
data/spass-3.9/tableau.c:629: tha ==> than, that, the
data/spass-3.9/tableau.c:629: childs ==> children, child's
data/spass-3.9/tableau.c:1134: egde ==> edge
data/spass-3.9/tableau.c:1212: egde ==> edge
data/spass-3.9/term.c:980: nWe ==> new
data/spass-3.9/term.c:981: nin ==> inn, min, bin, nine
data/spass-3.9/term.c:1078: occurence ==> occurrence
data/spass-3.9/term.c:1081: MENT ==> MEANT
data/spass-3.9/term.c:2927: eihter ==> either
data/spass-3.9/top.c:384: lits ==> list
data/spass-3.9/top.c:475: Lits ==> List
data/spass-3.9/top.c:478: Lits ==> List
data/spass-3.9/top.c:479: Lits ==> List
data/spass-3.9/top.c:480: Lits ==> List
data/spass-3.9/top.c:481: Lits ==> List
data/spass-3.9/top.c:482: Lits ==> List
data/spass-3.9/top.c:482: Lits ==> List
data/spass-3.9/top.c:535: schould ==> should
data/spass-3.9/top.c:540: determins ==> determines
data/spass-3.9/top.c:625: witha ==> with a, with
data/spass-3.9/top.c:754: oder ==> order, odor
data/spass-3.9/top.c:951: splitted ==> split
data/spass-3.9/tptp2dfg.c:315: formule ==> formula, formulas
data/spass-3.9/tptpparser.y:769: occurence ==> occurrence
data/spass-3.9/tptpparser.y:1086: FOF ==> FOR
data/spass-3.9/tptpparser.y:1236: touple ==> tuple
data/spass-3.9/tptpparser.y:1250: modifed ==> modified
data/spass-3.9/tptpparser.y:1252: qoutes ==> quotes
data/spass-3.9/tptpparser.y:1260: characer ==> character
data/spass-3.9/tptpparser.y:1322: propably ==> probably
data/spass-3.9/tptpparser.y:1390: inluded ==> included
data/spass-3.9/tptpparser.y:1441: funtions ==> functions
data/spass-3.9/tptpparser.y:1469: dafault ==> default
data/spass-3.9/tptpparser.y:1470: dafault ==> default
data/spass-3.9/tptpparser.y:1504: fof ==> for
data/spass-3.9/tptpparser.y:1524: complient ==> compliant
data/spass-3.9/tptpscanner.l:136: fof ==> for
data/spass-3.9/tptpscanner.l:137: fot ==> for, fit, dot, rot, cot, got, tot, fog
data/spass-3.9/tptpscanner.l:143: fof ==> for