data/coinst-1.9.3/transition.ml:22: ouput ==> output
data/coinst-1.9.3/transition.ml:48: informations ==> information
data/coinst-1.9.3/transition.ml:538: lits ==> list
data/coinst-1.9.3/transition.ml:567: lits ==> list
data/coinst-1.9.3/transition.ml:589: lits ==> list
data/coinst-1.9.3/transition.ml:592: lits ==> list
data/coinst-1.9.3/transition.ml:595: lits ==> list
data/coinst-1.9.3/transition.ml:598: lits ==> list
data/coinst-1.9.3/transition.ml:603: lits ==> list
data/coinst-1.9.3/transition.ml:609: lits ==> list
data/coinst-1.9.3/transition.ml:774: lits ==> list
data/coinst-1.9.3/transition.ml:780: lits ==> list
data/coinst-1.9.3/transition.ml:820: lits ==> list
data/coinst-1.9.3/transition.ml:823: lits ==> list
data/coinst-1.9.3/transition.ml:826: lits ==> list
data/coinst-1.9.3/transition.ml:906: lits ==> list
data/coinst-1.9.3/transition.ml:906: lits ==> list
data/coinst-1.9.3/transition.ml:1019: lits ==> list
data/coinst-1.9.3/transition.ml:1021: lits ==> list
data/coinst-1.9.3/transition.ml:2882: lits ==> list
data/coinst-1.9.3/transition.ml:2885: lits ==> list
data/coinst-1.9.3/transition.ml:3043: lits ==> list
data/coinst-1.9.3/transition.ml:3046: lits ==> list
data/coinst-1.9.3/transition.ml:3049: lits ==> list
data/coinst-1.9.3/transition.ml:3109: lits ==> list
data/coinst-1.9.3/transition.ml:3112: lits ==> list
data/coinst-1.9.3/transition.ml:3174: lits ==> list
data/coinst-1.9.3/transition.ml:3174: lits ==> list
data/coinst-1.9.3/coinst.ml:254: wih ==> with
data/coinst-1.9.3/coinst.ml:1389: informations ==> information
data/coinst-1.9.3/solver.ml:68: lits ==> list
data/coinst-1.9.3/solver.ml:163: lits ==> list
data/coinst-1.9.3/solver.ml:171: lits ==> list
data/coinst-1.9.3/solver.ml:174: lits ==> list
data/coinst-1.9.3/solver.ml:221: lits ==> list
data/coinst-1.9.3/solver.ml:223: lits ==> list
data/coinst-1.9.3/solver.ml:224: lits ==> list
data/coinst-1.9.3/solver.ml:229: lits ==> list
data/coinst-1.9.3/solver.ml:230: lits ==> list
data/coinst-1.9.3/solver.ml:230: lits ==> list
data/coinst-1.9.3/solver.ml:231: lits ==> list
data/coinst-1.9.3/solver.ml:233: lits ==> list
data/coinst-1.9.3/solver.ml:236: lits ==> list
data/coinst-1.9.3/solver.ml:236: lits ==> list
data/coinst-1.9.3/solver.ml:239: lits ==> list
data/coinst-1.9.3/solver.ml:241: lits ==> list
data/coinst-1.9.3/solver.ml:241: lits ==> list
data/coinst-1.9.3/solver.ml:242: lits ==> list
data/coinst-1.9.3/solver.ml:243: lits ==> list
data/coinst-1.9.3/solver.ml:353: lits ==> list
data/coinst-1.9.3/solver.ml:395: lits ==> list
data/coinst-1.9.3/solver.ml:404: lits ==> list
data/coinst-1.9.3/solver.ml:426: lits ==> list
data/coinst-1.9.3/solver.ml:540: lits ==> list
data/coinst-1.9.3/solver.ml:541: lits ==> list
data/coinst-1.9.3/solver.ml:541: lits ==> list
data/coinst-1.9.3/solver.ml:545: lits ==> list
data/coinst-1.9.3/solver.ml:546: lits ==> list
data/coinst-1.9.3/solver.ml:546: lits ==> list
data/coinst-1.9.3/solver.ml:549: lits ==> list
data/coinst-1.9.3/solver.ml:550: lits ==> list
data/coinst-1.9.3/solver.ml:553: lits ==> list
data/coinst-1.9.3/solver.ml:554: lits ==> list
data/coinst-1.9.3/solver.ml:557: lits ==> list
data/coinst-1.9.3/solver.ml:557: lits ==> list
data/coinst-1.9.3/solver.ml:559: lits ==> list
data/coinst-1.9.3/solver.ml:559: lits ==> list
data/coinst-1.9.3/solver.ml:561: lits ==> list
data/coinst-1.9.3/solver.ml:563: lits ==> list
data/coinst-1.9.3/solver.ml:564: lits ==> list
data/coinst-1.9.3/solver.ml:564: lits ==> list
data/coinst-1.9.3/solver.ml:565: lits ==> list
data/coinst-1.9.3/solver.ml:565: lits ==> list
data/coinst-1.9.3/solver.ml:566: lits ==> list
data/coinst-1.9.3/solver.ml:566: lits ==> list
data/coinst-1.9.3/TODO.txt:44: informations ==> information
data/coinst-1.9.3/upgrade.ml:375: inactivate ==> deactivate
data/coinst-1.9.3/upgrade.ml:387: inactivate ==> deactivate
data/coinst-1.9.3/horn.ml:78: lits ==> list
data/coinst-1.9.3/horn.ml:107: lits ==> list
data/coinst-1.9.3/horn.ml:117: lits ==> list
data/coinst-1.9.3/horn.ml:117: lits ==> list
data/coinst-1.9.3/horn.ml:118: lits ==> list
data/coinst-1.9.3/horn.ml:120: lits ==> list
data/coinst-1.9.3/horn.ml:130: lits ==> list
data/coinst-1.9.3/horn.ml:130: lits ==> list
data/coinst-1.9.3/horn.ml:132: lits ==> list
data/coinst-1.9.3/horn.ml:133: lits ==> list
data/coinst-1.9.3/horn.ml:148: lits ==> list
data/coinst-1.9.3/horn.ml:155: lits ==> list
data/coinst-1.9.3/horn.ml:155: lits ==> list
data/coinst-1.9.3/horn.ml:162: lits ==> list
data/coinst-1.9.3/horn.ml:193: lits ==> list
data/coinst-1.9.3/horn.ml:195: lits ==> list
data/coinst-1.9.3/horn.ml:197: lits ==> list
data/coinst-1.9.3/horn.ml:197: lits ==> list
data/coinst-1.9.3/horn.ml:199: lits ==> list
data/coinst-1.9.3/horn.ml:201: lits ==> list
data/coinst-1.9.3/horn.ml:204: lits ==> list
data/coinst-1.9.3/horn.ml:224: lits ==> list
data/coinst-1.9.3/horn.ml:233: lits ==> list
data/coinst-1.9.3/horn.ml:275: lits ==> list
data/coinst-1.9.3/horn.ml:275: lits ==> list
data/coinst-1.9.3/horn.ml:276: lits ==> list
data/coinst-1.9.3/horn.ml:278: lits ==> list
data/coinst-1.9.3/horn.ml:281: lits ==> list
data/coinst-1.9.3/horn.ml:312: lits ==> list
data/coinst-1.9.3/horn.ml:318: lits ==> list
data/coinst-1.9.3/coinst_json.ml:84: colection ==> collection
data/coinst-1.9.3/coinst_json.ml:93: simpliest ==> simplest
data/coinst-1.9.3/coinst_json.ml:230: outputed ==> outputted
data/coinst-1.9.3/CHANGES:14: verisoned ==> versioned
data/coinst-1.9.3/man/comigrate.1:65: overriden ==> overridden
data/coinst-1.9.3/man/comigrate.1:194: ouput ==> output
data/coinst-1.9.3/man/coinst-upgrades.1:19: coult ==> could
data/coinst-1.9.3/Proofs/coinst.v:2126: stricly ==> strictly
data/coinst-1.9.3/debian/examples/README:1: orginal ==> original
data/coinst-1.9.3/debian/manpages/coinst.1:117: decribing ==> describing