data/alt-ergo-2.0.0/CHANGES:426: arithmetics ==> arithmetic
data/alt-ergo-2.0.0/configure.in:3: tre ==> tree
data/alt-ergo-2.0.0/plugins/fm-simplex/simplex.ml:263: choosed ==> chose, chosen
data/alt-ergo-2.0.0/plugins/fm-simplex/simplex.ml:266: choosed ==> chose, chosen
data/alt-ergo-2.0.0/plugins/fm-simplex/simplex.ml:278: choosed ==> chose, chosen
data/alt-ergo-2.0.0/plugins/fm-simplex/simplex.ml:279: choosed ==> chose, chosen
data/alt-ergo-2.0.0/plugins/fm-simplex/simplex.ml:776: coo ==> coup
data/alt-ergo-2.0.0/plugins/fm-simplex/simplex.ml:777: coo ==> coup
data/alt-ergo-2.0.0/plugins/fm-simplex/simplex.ml:778: coo ==> coup
data/alt-ergo-2.0.0/plugins/fm-simplex/fmSimplexIneqs.ml:52: assignement ==> assignment
data/alt-ergo-2.0.0/plugins/fm-simplex/fmSimplexIneqs.ml:67: bounnded ==> bounded
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1031: probleme ==> problem
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1043: probleme ==> problem
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1056: assignements ==> assignments
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1064: fonction ==> function
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1073: defaut ==> default
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1076: defaut ==> default
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1079: limite ==> limit
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1079: defaut ==> default
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1082: limite ==> limit
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1082: defaut ==> default
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1085: limite ==> limit
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1086: defaut ==> default
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1090: defaut ==> default
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1093: controler ==> controller
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1093: conflit ==> conflict
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1093: defaut ==> default
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1096: controle ==> control, controlled, controller
data/alt-ergo-2.0.0/plugins/satML/satml.ml:1857: conjonction ==> conjunction
data/alt-ergo-2.0.0/lib/util/options.ml:265: limite ==> limit
data/alt-ergo-2.0.0/lib/util/emap.mli:16: Cristal ==> Crystal
data/alt-ergo-2.0.0/lib/util/emap.ml:16: Cristal ==> Crystal
data/alt-ergo-2.0.0/lib/util/emap.ml:370: pres ==> press
data/alt-ergo-2.0.0/lib/util/emap.ml:370: pres ==> press
data/alt-ergo-2.0.0/lib/util/emap.ml:372: pres ==> press
data/alt-ergo-2.0.0/lib/util/emap.ml:372: pres ==> press
data/alt-ergo-2.0.0/lib/util/util.mli:33: boths ==> both
data/alt-ergo-2.0.0/lib/frontend/typechecker.mli:37: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/typechecker.mli:40: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/typechecker.mli:41: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/typechecker.mli:44: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/triggers.ml:41: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/triggers.ml:103: fonction ==> function
data/alt-ergo-2.0.0/lib/frontend/triggers.ml:103: comparaison ==> comparison
data/alt-ergo-2.0.0/lib/frontend/triggers.ml:398: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/triggers.ml:723: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/frontend.mli:45: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/triggers.mli:34: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/triggers.mli:34: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:432: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:433: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:437: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:456: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:457: tye ==> type, tie
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:457: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:460: tye ==> type, tie
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:468: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:469: tye ==> type, tie
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:526: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:527: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:533: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:554: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:555: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:556: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:565: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:569: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:581: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:582: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:605: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:606: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:606: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:609: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:610: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:612: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:616: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:618: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:619: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:619: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:679: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:680: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:689: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:697: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:698: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/typechecker.ml:701: te ==> the, be, we
data/alt-ergo-2.0.0/lib/frontend/cnf.ml:84: happend ==> happened, happens, happen
data/alt-ergo-2.0.0/lib/frontend/cnf.ml:358: lits ==> list
data/alt-ergo-2.0.0/lib/frontend/cnf.ml:359: lits ==> list
data/alt-ergo-2.0.0/lib/frontend/frontend.ml:50: annoted ==> annotated
data/alt-ergo-2.0.0/lib/frontend/frontend.ml:153: lits ==> list
data/alt-ergo-2.0.0/lib/frontend/cnf.mli:30: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.mli:48: nd ==> and, 2nd
data/alt-ergo-2.0.0/lib/structures/typed.mli:31: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:48: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:48: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:49: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:50: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:51: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:53: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:53: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:54: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:57: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:57: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:59: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:59: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:59: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:61: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:61: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:61: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:62: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:62: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:63: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:64: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:65: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:65: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:66: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:71: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:72: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:73: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:74: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:75: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:76: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:77: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:81: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:87: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:88: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:89: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:93: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:94: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:98: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:98: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:99: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:126: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:127: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:128: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:129: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:133: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:136: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:140: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:141: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.mli:145: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:33: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:50: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:50: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:51: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:52: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:53: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:55: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:55: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:56: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:59: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:59: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:61: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:61: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:61: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:63: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:63: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:63: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:64: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:64: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:65: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:66: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:67: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:67: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:68: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:73: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:74: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:75: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:76: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:77: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:78: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:79: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:83: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:89: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:90: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:91: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:95: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:96: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:100: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:100: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:101: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:128: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:129: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:130: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:131: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:135: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/typed.ml:138: annoted ==> annotated
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml:42: Nd ==> And, 2nd
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml:90: Nd ==> And, 2nd
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml:91: nd ==> and, 2nd
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml:98: Hepler ==> Helper
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml:129: Nd ==> And, 2nd
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml:129: nd ==> and, 2nd
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml:183: Nd ==> And, 2nd
data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml:209: Nd ==> And, 2nd
data/alt-ergo-2.0.0/lib/structures/errors.ml:150: hava ==> have, have a
data/alt-ergo-2.0.0/lib/reasoners/inequalities.mli:97: attemp ==> attempt
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:56: defaut ==> default
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:175: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:178: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:179: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:481: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:482: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:487: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:506: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:507: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:508: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:699: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:700: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:731: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:773: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:782: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:788: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:791: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:791: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:792: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:803: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:812: lits ==> list
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:858: loosing ==> losing
data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml:1445: usefull ==> useful
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:79: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:88: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:94: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:94: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:97: limite ==> limit
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:97: consideres ==> considered, considers
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:191: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:209: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:209: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:251: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:418: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/matching.ml:500: fils ==> fills, files, file
data/alt-ergo-2.0.0/lib/reasoners/intervals.mli:123: matchs ==> matches
data/alt-ergo-2.0.0/lib/reasoners/sat_solver.mli:15: attemp ==> attempt
data/alt-ergo-2.0.0/lib/reasoners/intervalCalculus.ml:421: differents ==> different, difference
data/alt-ergo-2.0.0/lib/reasoners/intervalCalculus.ml:2077: conver ==> convert
data/alt-ergo-2.0.0/lib/reasoners/intervalCalculus.ml:2127: does'nt ==> doesn't
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:210: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:218: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:219: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:230: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:231: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:251: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:252: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:255: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:256: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:259: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:260: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:372: mke ==> make
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:552: formule ==> formula, formulas
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:563: substitue ==> substitute
data/alt-ergo-2.0.0/lib/reasoners/arith.ml:564: formule ==> formula, formulas
data/alt-ergo-2.0.0/lib/reasoners/ac.mli:37: embeded ==> embedded
data/alt-ergo-2.0.0/lib/reasoners/sum.ml:83: tthe ==> the
data/alt-ergo-2.0.0/lib/reasoners/sum.ml:87: tthe ==> the
data/alt-ergo-2.0.0/lib/reasoners/combine.ml:755: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/combine.ml:755: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/combine.ml:758: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/combine.ml:758: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/combine.ml:762: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/combine.ml:762: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/combine.ml:767: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/combine.ml:767: ans ==> and
data/alt-ergo-2.0.0/lib/reasoners/ac.ml:37: embeded ==> embedded
data/alt-ergo-2.0.0/lib/reasoners/ac.ml:43: embeded ==> embedded
data/alt-ergo-2.0.0/lib/reasoners/uf.ml:358: normale ==> normal
data/alt-ergo-2.0.0/lib/reasoners/uf.ml:438: normale ==> normal
data/alt-ergo-2.0.0/lib/reasoners/matching_types.mli:44: formule ==> formula, formulas
data/alt-ergo-2.0.0/doc/gtk-lang/alt-ergo.lang:21: Interger ==> Integer
data/alt-ergo-2.0.0/preludes/fpa-theory-2017-01-04-16h00.why:25: Nd ==> And, 2nd
data/alt-ergo-2.0.0/preludes/fpa-theory-2017-01-04-16h00.why:25: nd ==> and, 2nd
data/alt-ergo-2.0.0/preludes/fpa-theory-2017-01-04-16h00.why:79: imlemented ==> implemented
data/alt-ergo-2.0.0/preludes/fpa-theory-2017-01-04-16h00.why:123: whould ==> would
data/alt-ergo-2.0.0/preludes/fpa-theory-2017-01-04-16h00.why:671: mising ==> missing
data/alt-ergo-2.0.0/preludes/fpa-theory-2017-01-04-16h00.why:676: mising ==> missing
data/alt-ergo-2.0.0/preludes/fpa-theory-2017-01-04-16h00.why:1073: shoud ==> should
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:89: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:124: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:125: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:126: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:127: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:128: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:130: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:138: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:139: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:140: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:145: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:146: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:147: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:148: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:149: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:152: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:154: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:155: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:164: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:165: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:165: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:166: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:167: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:170: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:183: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:191: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:191: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:215: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:216: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:216: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:225: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:231: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:235: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:239: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:239: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:240: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:243: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:243: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:244: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:247: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:248: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:248: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:252: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:255: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:256: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:259: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:259: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:263: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:266: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:269: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:270: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:273: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:276: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:279: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:282: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:285: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:288: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:291: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:295: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:298: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:301: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli:304: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/main_gui.ml:82: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/main_gui.ml:83: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/main_gui.ml:83: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/connected_ast.mli:32: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/connected_ast.mli:34: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/connected_ast.mli:36: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/connected_ast.mli:38: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:357: atll ==> all
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:399: atll ==> all
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:471: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:471: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:525: te ==> the, be, we
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:525: te ==> the, be, we
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:525: te ==> the, be, we
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:674: Instanciate ==> Instantiate
data/alt-ergo-2.0.0/tools/gui/connected_ast.ml:960: instanciated ==> instantiated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:102: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:139: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:140: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:141: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:142: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:143: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:145: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:153: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:154: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:155: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:160: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:161: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:162: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:163: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:164: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:167: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:169: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:170: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:179: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:180: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:180: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:181: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:182: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:188: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:207: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:215: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:215: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:519: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:797: dependancies ==> dependencies
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:947: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:1089: annoted ==> annotated
data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml:2150: arguement ==> argument
data/alt-ergo-2.0.0/debian/changelog:331: architecures ==> architectures
data/alt-ergo-2.0.0/.pc/0002-Fix-compilation-with-camlzip-1.08.patch/configure.in:3: tre ==> tree