data/dafny-2.3.0+dfsg/NOTICES.txt:8: Linz ==> Lines
data/dafny-2.3.0+dfsg/NOTICES.txt:9: Linz ==> Lines
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:134: ihs ==> his
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:135: ihs ==> his
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:137: ihs ==> his
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:1284: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:1286: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:1288: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:1290: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:1292: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:190: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:192: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:239: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:241: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:295: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:297: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:572: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:574: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:575: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:578: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1034: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1037: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1039: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1131: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1132: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1133: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1185: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1187: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1471: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1472: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1474: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1476: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1476: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:1478: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2016: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2018: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2024: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2026: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2056: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2059: ans ==> and
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2315: divison ==> division
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2332: divison ==> division
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2349: divison ==> division
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:2366: divison ==> division
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.js:744: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.js:746: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.js:748: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.js:750: asign ==> assign
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.js:752: asign ==> assign
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.bib:21: Linz ==> Lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.bib:24: Linz ==> Lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:310: Linz ==> Lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:1020: wya ==> way
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:1152: checkes ==> checks
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:3991: ySE ==> yes, use, nyse
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:4000: ySE ==> yes, use, nyse
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:4000: ySE ==> yes, use, nyse
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:8150: othewise ==> otherwise
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:8397: accomodate ==> accommodate
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:17: tre ==> tree
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:94: ois ==> is
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:279: Wirth ==> With, worth
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:715: tre ==> tree
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:1076: Wirth ==> With, worth
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:1077: Wirth ==> With, worth
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:1280: tre ==> tree
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:1778: tre ==> tree
data/dafny-2.3.0+dfsg/Docs/DafnyRef/paper-full.bib:128: FASE ==> FAZE, PHASE
data/dafny-2.3.0+dfsg/Docs/DafnyRef/poc.bib:467: ois ==> is
data/dafny-2.3.0+dfsg/Docs/DafnyRef/references.bib:64: ois ==> is
data/dafny-2.3.0+dfsg/Docs/DafnyRef/references.bib:340: FASE ==> FAZE, PHASE
data/dafny-2.3.0+dfsg/Docs/DafnyRef/references.bib:351: tre ==> tree
data/dafny-2.3.0+dfsg/Docs/DafnyRef/references.bib:572: ois ==> is
data/dafny-2.3.0+dfsg/Docs/DafnyRef/references.bib:757: Wirth ==> With, worth
data/dafny-2.3.0+dfsg/Docs/DafnyRef/references.bib:1196: tre ==> tree
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:814: linz ==> lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:814: linz ==> lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:1440: wya ==> way
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:1550: checkes ==> checks
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:4083: ySE ==> yes, use, nyse
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:4092: ySE ==> yes, use, nyse
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:4092: ySE ==> yes, use, nyse
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:7753: othewise ==> otherwise
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:8000: accomodate ==> accommodate
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:8145: linz ==> lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:8145: Linz ==> Lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:8145: linz ==> lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:8155: FASE ==> FAZE, PHASE
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Lemmas.md:188: suprising ==> surprising
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Lemmas.md:343: seperately ==> separately
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Lemmas.md:524: suprising ==> surprising
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Lemmas.md:525: acheiving ==> achieving
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Lemmas.md:885: implmented ==> implemented
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Modules.md:9: seperate ==> separate
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Modules.md:597: identifer ==> identifier
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Sets.md:127: seperate ==> separate
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/ValueTypes.md:152: seperate ==> separate
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/ValueTypes.md:506: preceeded ==> preceded, proceeded
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/ValueTypes.md:556: seperately ==> separately
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/guide.md:189: seperates ==> separates
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/guide.md:516: stil ==> still
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:438: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:587: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:1084: edn ==> end
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:1085: edn ==> end
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:1086: edn ==> end
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:1086: edn ==> end
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:1086: edn ==> end
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:1086: edn ==> end
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-go.cs:2396: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-go.cs:2397: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-go.cs:2400: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-go.cs:2955: substraction ==> subtraction
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-go.cs:3210: ans ==> and
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-go.cs:3223: ans ==> and
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-js.cs:410: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-js.cs:411: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-js.cs:413: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-js.cs:458: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-js.cs:459: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-js.cs:463: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-js.cs:464: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:301: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:303: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:310: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:312: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:313: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:316: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:409: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:411: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:412: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:419: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1177: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1179: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1179: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1686: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1696: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1700: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1714: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1717: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1719: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1754: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:1756: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:2173: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:2175: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:2324: indicies ==> indices
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3062: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3064: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3103: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3105: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3136: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3388: Indention ==> Indentation
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3454: ans ==> and
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3455: ans ==> and
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:3456: ans ==> and
data/dafny-2.3.0+dfsg/Source/Dafny/Dafny.atg:2360: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Dafny.atg:2380: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Dafny.atg:2380: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Dafny.atg:2387: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Dafny.atg:2389: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:50: visibilty ==> visibility
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:7031: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:7036: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:7039: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:7044: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:7048: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:7048: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:7053: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:10357: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:10362: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:10366: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:10370: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:10374: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:10374: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:10381: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Parser.cs:3236: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Parser.cs:3260: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Parser.cs:3261: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Parser.cs:3273: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Parser.cs:3275: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Printer.cs:1506: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Printer.cs:1658: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Printer.cs:2433: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/RefinementTransformer.cs:88: openess ==> openness
data/dafny-2.3.0+dfsg/Source/Dafny/RefinementTransformer.cs:825: overriden ==> overridden
data/dafny-2.3.0+dfsg/Source/Dafny/RefinementTransformer.cs:1087: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/RefinementTransformer.cs:1087: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/RefinementTransformer.cs:1257: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/RefinementTransformer.cs:1257: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Reporting.cs:38: overriden ==> overridden
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:342: implict ==> implicit
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:1903: explict ==> explicit
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:5930: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:6138: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:6912: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:6917: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:7172: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:7673: constuctor ==> constructor
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:9189: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:9876: substitue ==> substitute
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:10402: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:10472: statment ==> statement
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:10528: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:12228: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:12229: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:12234: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:12234: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:12235: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:12829: appeareance ==> appearance
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:12850: substitue ==> substitute
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:13031: expresion ==> expression
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:13137: expresion ==> expression
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:13281: expresion ==> expression
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:15052: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:15237: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:15378: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:15378: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:15380: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:15380: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:373: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:765: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:766: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:767: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:996: approriately ==> appropriately
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:1046: prequisites ==> prerequisites
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:1386: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:1386: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:1934: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:1067: followings ==> following
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:2271: overrided ==> overrode, overridden
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:2556: thisY ==> this
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:2560: thisY ==> this
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:2992: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3023: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3067: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3151: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3151: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3188: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3232: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3256: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3274: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3285: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3286: lits ==> list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3752: allS ==> all, falls
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3753: allS ==> all, falls
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3757: allS ==> all, falls
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:3758: allS ==> all, falls
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:4630: corresponsing ==> corresponding
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:4867: corresponsing ==> corresponding
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:4874: corresponsing ==> corresponding
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:6431: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:6728: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:6728: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:6735: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:7506: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:7509: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:7513: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:7723: redudant ==> redundant
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:8270: explictly ==> explicitly
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:8457: IsT ==> is, it, its, it's, sit, list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:8471: IsT ==> is, it, its, it's, sit, list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:8478: IsT ==> is, it, its, it's, sit, list
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:9977: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:9977: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:9997: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:10002: possibilties ==> possibilities
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:11031: tranlate ==> translate
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:11435: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:11436: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:12845: indicies ==> indices
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:12851: indicies ==> indices
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:12861: indicies ==> indices
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:12865: indicies ==> indices
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:12879: indicies ==> indices
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:15182: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:15182: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:15184: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:15667: parms ==> params, prams
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:15672: parms ==> params, prams
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:15676: parms ==> params, prams
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:15679: parms ==> params, prams
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:16461: desireable ==> desirable
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:16595: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:17700: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:17700: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:17702: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:17702: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:17703: thn ==> then
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:17975: Thn ==> Then
data/dafny-2.3.0+dfsg/Source/Dafny/Util.cs:53: ans ==> and
data/dafny-2.3.0+dfsg/Source/Dafny/Util.cs:55: ans ==> and
data/dafny-2.3.0+dfsg/Source/Dafny/Util.cs:57: ans ==> and
data/dafny-2.3.0+dfsg/Source/Dafny/Util.cs:378: keypair ==> key pair
data/dafny-2.3.0+dfsg/Source/Dafny/Util.cs:379: keypair ==> key pair
data/dafny-2.3.0+dfsg/Source/Dafny/Util.cs:380: keypair ==> key pair
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyOptions.cs:456: everthing ==> everything
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyOptions.cs:466: othewise ==> otherwise
data/dafny-2.3.0+dfsg/Source/Dafny/Triggers/QuantifiersCollection.cs:134: behavious ==> behaviour, behaviours
data/dafny-2.3.0+dfsg/Source/DafnyExtension/DafnyDriver.cs:36: initialze ==> initialize
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:134: ihs ==> his
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:135: ihs ==> his
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:137: ihs ==> his
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:1284: asign ==> assign
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:1286: asign ==> assign
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:1288: asign ==> assign
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:1290: asign ==> assign
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:1292: asign ==> assign
data/dafny-2.3.0+dfsg/Source/DafnyServer/Utilities.cs:48: overriden ==> overridden
data/dafny-2.3.0+dfsg/Source/Jennisys/Analyzer.fs:441: whther ==> whether
data/dafny-2.3.0+dfsg/Source/Jennisys/Analyzer.fs:677: trough ==> through
data/dafny-2.3.0+dfsg/Source/Jennisys/Ast.fs:26: referes ==> refers, referees
data/dafny-2.3.0+dfsg/Source/Jennisys/AstUtils.fs:157: occurences ==> occurrences
data/dafny-2.3.0+dfsg/Source/Jennisys/AstUtils.fs:169: occurences ==> occurrences
data/dafny-2.3.0+dfsg/Source/Jennisys/DafnyModelUtils.fs:372: contex ==> context
data/dafny-2.3.0+dfsg/Source/Jennisys/DafnyModelUtils.fs:388: contex ==> context
data/dafny-2.3.0+dfsg/Source/Jennisys/FixpointSolver.fs:90: invers ==> inverse, invert
data/dafny-2.3.0+dfsg/Source/Jennisys/Lexer.fsl:59: ATLEAST ==> AT LEAST
data/dafny-2.3.0+dfsg/Source/Jennisys/Lexer.fsl:76: Numberic ==> Numeric
data/dafny-2.3.0+dfsg/Source/Jennisys/Modularizer.fs:107: embeded ==> embedded
data/dafny-2.3.0+dfsg/Source/Jennisys/Parser.fsy:27: ATLEAST ==> AT LEAST
data/dafny-2.3.0+dfsg/Source/Jennisys/Parser.fsy:164: ATLEAST ==> AT LEAST
data/dafny-2.3.0+dfsg/Source/Jennisys/Resolver.fs:42: orginal ==> original
data/dafny-2.3.0+dfsg/Source/Jennisys/Utils.fs:44: requres ==> requires
data/dafny-2.3.0+dfsg/Source/Jennisys/Utils.fs:53: requres ==> requires
data/dafny-2.3.0+dfsg/Source/Jennisys/Utils.fs:69: requres ==> requires
data/dafny-2.3.0+dfsg/Source/Jennisys/Utils.fs:121: requres ==> requires
data/dafny-2.3.0+dfsg/Source/Jennisys/Utils.fs:189: occurence ==> occurrence
data/dafny-2.3.0+dfsg/Test/lit.site.cfg:18: overriden ==> overridden
data/dafny-2.3.0+dfsg/Test/runTests.py:341: overwritting ==> overwriting
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/BindingGuards.dfy.expect:16: possibilties ==> possibilities
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/BindingGuards.dfy.expect:20: possibilties ==> possibilities
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ControlStructures.dfy.expect:34: possibilties ==> possibilities
data/dafny-2.3.0+dfsg/Test/dafny0/ArrayElementInit.dfy.expect:5: indicies ==> indices
data/dafny-2.3.0+dfsg/Test/dafny0/ArrayElementInit.dfy.expect:8: indicies ==> indices
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuards.dfy:63: chello ==> cello
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuards.dfy.expect:64: chello ==> cello
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuards.dfy.expect:321: possibilties ==> possibilities
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuards.dfy.expect:325: possibilties ==> possibilities
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuardsResolution.dfy:60: chello ==> cello
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuardsResolution.dfy:100: chello ==> cello
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuardsResolution.dfy.expect:61: chello ==> cello
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuardsResolution.dfy.expect:101: chello ==> cello
data/dafny-2.3.0+dfsg/Test/dafny0/ControlStructures.dfy.expect:34: possibilties ==> possibilities
data/dafny-2.3.0+dfsg/Test/dafny0/CustomErrorMesage.dfy:43: arry ==> array, carry
data/dafny-2.3.0+dfsg/Test/dafny0/CustomErrorMesage.dfy.expect:39: arry ==> array, carry
data/dafny-2.3.0+dfsg/Test/dafny0/Fuel.dfy:93: Lits ==> List
data/dafny-2.3.0+dfsg/Test/dafny0/Fuel.dfy:121: Lits ==> List
data/dafny-2.3.0+dfsg/Test/dafny0/Fuel.dfy:437: errro ==> error
data/dafny-2.3.0+dfsg/Test/dafny0/Include.dfy:4: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/Include.dfy.expect:2: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/Include.dfy.expect:6: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/Include.dfy.expect:10: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/Includee.dfy.expect:1: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/Includee.dfy.expect:2: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/Includee.dfy.expect:5: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/Includee.dfy.expect:8: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/Includee.dfy.expect:9: Includee ==> Include
data/dafny-2.3.0+dfsg/Test/dafny0/InductivePredicates.dfy:194: controled ==> controlled
data/dafny-2.3.0+dfsg/Test/dafny0/LabelsOldAt.dfy:37: whoKnows ==> who knows
data/dafny-2.3.0+dfsg/Test/dafny0/LabelsOldAt.dfy:56: whoKnows ==> who knows
data/dafny-2.3.0+dfsg/Test/dafny0/LoopModifies.dfy:11: explict ==> explicit
data/dafny-2.3.0+dfsg/Test/dafny0/LoopModifies.dfy:24: explict ==> explicit
data/dafny-2.3.0+dfsg/Test/dafny0/LoopModifies.dfy:39: explict ==> explicit
data/dafny-2.3.0+dfsg/Test/dafny0/NestedPatterns.dfy:37: MethodD ==> method
data/dafny-2.3.0+dfsg/Test/dafny0/NestedPatterns.dfy:47: MethodE ==> method
data/dafny-2.3.0+dfsg/Test/dafny0/NestedPatterns.dfy:49: MethodD ==> method
data/dafny-2.3.0+dfsg/Test/dafny0/Newtypes.dfy:69: Te ==> The, be, we
data/dafny-2.3.0+dfsg/Test/dafny0/Newtypes.dfy:164: indicies ==> indices
data/dafny-2.3.0+dfsg/Test/dafny0/ResolutionErrors.dfy:863: statment ==> statement
data/dafny-2.3.0+dfsg/Test/dafny0/ResolutionErrors.dfy:1639: contraint ==> constraint
data/dafny-2.3.0+dfsg/Test/dafny0/ReturnTests.dfy:24: implict ==> implicit
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy:5: ClientA ==> client
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy:9: ClientE ==> client, clientele
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy:27: ClientA ==> client
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy:36: ClientA ==> client
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy:79: ClientE ==> client, clientele
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy:88: ClientE ==> client, clientele
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy.expect:3: ClientA ==> client
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy.expect:7: ClientE ==> client, clientele
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImportsErrors.dfy:16: ClientA ==> client
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImportsErrors.dfy:68: ClientE ==> client, clientele
data/dafny-2.3.0+dfsg/Test/dafny0/Strings.dfy:58: tYes ==> types, ties
data/dafny-2.3.0+dfsg/Test/dafny0/SubsetTypes.dfy:31: regaring ==> regarding
data/dafny-2.3.0+dfsg/Test/dafny0/SubsetTypes.dfy:88: regaring ==> regarding
data/dafny-2.3.0+dfsg/Test/dafny0/TypeInstantiations.dfy:81: argumement ==> argument
data/dafny-2.3.0+dfsg/Test/dafny0/TypeInstantiations.dfy:82: argumement ==> argument
data/dafny-2.3.0+dfsg/Test/dafny0/TypeInstantiations.dfy:108: argumement ==> argument
data/dafny-2.3.0+dfsg/Test/dafny0/TypeInstantiations.dfy:109: argumement ==> argument
data/dafny-2.3.0+dfsg/Test/dafny0/Variance.dfy:9: MakeD ==> marked, made
data/dafny-2.3.0+dfsg/Test/dafny0/Variance.dfy:29: MakeD ==> marked, made
data/dafny-2.3.0+dfsg/Test/dafny0/Variance.dfy:31: CreateA ==> create
data/dafny-2.3.0+dfsg/Test/dafny0/Variance.dfy.expect:5: MakeD ==> marked, made
data/dafny-2.3.0+dfsg/Test/dafny0/Variance.dfy.expect:13: MakeD ==> marked, made
data/dafny-2.3.0+dfsg/Test/dafny0/Variance.dfy.expect:13: CreateA ==> create
data/dafny-2.3.0+dfsg/Test/dafny1/Induction.dfy:56: reenable ==> re-enable
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-2-MaxTree-class.dfy:37: iself ==> itself
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-2-MaxTree-class.dfy:51: somme ==> some
data/dafny-2.3.0+dfsg/Test/dafny2/Calculations.dfy:184: ambigious ==> ambiguous
data/dafny-2.3.0+dfsg/Test/dafny2/Z-BirthdayBook.dfy:54: explictly ==> explicitly
data/dafny-2.3.0+dfsg/Test/dafny4/Bug132.dfy:32: allocaed ==> allocated
data/dafny-2.3.0+dfsg/Test/dafny4/Bug72.dfy:6: ba ==> by, be
data/dafny-2.3.0+dfsg/Test/dafny4/Bug72.dfy:8: ba ==> by, be
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:51: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:52: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:163: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:164: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:221: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:270: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:339: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:389: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:390: thn ==> then
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue228.dfy:57: satify ==> satisfy
data/dafny-2.3.0+dfsg/Test/triggers/useless-triggers-are-removed.dfy:5: ths ==> the, this
data/dafny-2.3.0+dfsg/Test/vstte2012/Combinators.dfy:193: mimicks ==> mimics
data/dafny-2.3.0+dfsg/.pc/use_system_z3.diff/Source/Dafny/DafnyOptions.cs:478: everthing ==> everything
data/dafny-2.3.0+dfsg/.pc/use_system_z3.diff/Source/Dafny/DafnyOptions.cs:488: othewise ==> otherwise