data/minlog-4.0.99.20100221/minlog-mode.el:211: fount ==> found
data/minlog-4.0.99.20100221/build.log:94: unter ==> under
data/minlog-4.0.99.20100221/build.log:106: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/build.log:148: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/build.log:177: Paket ==> Packet
data/minlog-4.0.99.20100221/misc/norm.scm:59: asume ==> assume
data/minlog-4.0.99.20100221/modules/type-inf.scm:106: varn ==> warn
data/minlog-4.0.99.20100221/modules/diatup.scm:2293: assigment ==> assignment
data/minlog-4.0.99.20100221/modules/diatup.scm:2317: occuring ==> occurring
data/minlog-4.0.99.20100221/modules/diatup.scm:2318: assigments ==> assignments
data/minlog-4.0.99.20100221/modules/diatup.scm:2991: occurences ==> occurrences
data/minlog-4.0.99.20100221/modules/diatup.scm:3038: occurence ==> occurrence
data/minlog-4.0.99.20100221/modules/diatup.scm:3048: occurence ==> occurrence
data/minlog-4.0.99.20100221/modules/diatup.scm:3077: occurences ==> occurrences
data/minlog-4.0.99.20100221/modules/diatup.scm:3283: occurences ==> occurrences
data/minlog-4.0.99.20100221/modules/diatup.scm:3607: occuring ==> occurring
data/minlog-4.0.99.20100221/modules/diatup.scm:3647: treatement ==> treatment
data/minlog-4.0.99.20100221/modules/diatup.scm:4030: assum ==> assume
data/minlog-4.0.99.20100221/modules/diatup.scm:4033: assum ==> assume
data/minlog-4.0.99.20100221/modules/diatup.scm:4036: assum ==> assume
data/minlog-4.0.99.20100221/modules/diatup.scm:4046: assum ==> assume
data/minlog-4.0.99.20100221/doc/minlog.mac:93: allE ==> all, alley
data/minlog-4.0.99.20100221/doc/notation.sty:58: allE ==> all, alley
data/minlog-4.0.99.20100221/doc/notation.sty:184: Clos ==> Close
data/minlog-4.0.99.20100221/doc/tutor.tex:96: containes ==> contains
data/minlog-4.0.99.20100221/doc/tutor.tex:1795: whe ==> when, we
data/minlog-4.0.99.20100221/doc/mlcf.tex:309: allE ==> all, alley
data/minlog-4.0.99.20100221/doc/mlcf.tex:1411: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/mlcf.tex:1523: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/mlcf.tex:1545: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/mlcf.tex:2471: managable ==> manageable, manageably
data/minlog-4.0.99.20100221/doc/mlcf.tex:2579: achive ==> achieve, archive
data/minlog-4.0.99.20100221/doc/mlcf.tex:2601: definiton ==> definition
data/minlog-4.0.99.20100221/doc/mlcf.tex:3018: worthwile ==> worthwhile
data/minlog-4.0.99.20100221/doc/mlcf.tex:3321: Explicitely ==> Explicitly
data/minlog-4.0.99.20100221/doc/mlcf.tex:3342: Explicitely ==> Explicitly
data/minlog-4.0.99.20100221/doc/mlcf.tex:4016: exept ==> except, exempt
data/minlog-4.0.99.20100221/doc/mlcf.tex:4461: accomodate ==> accommodate
data/minlog-4.0.99.20100221/doc/mlcf.tex:6223: repitition ==> repetition
data/minlog-4.0.99.20100221/doc/mlcf.tex:6272: repitition ==> repetition
data/minlog-4.0.99.20100221/doc/mlcf.tex:8366: unneccessarily ==> unnecessarily
data/minlog-4.0.99.20100221/doc/mlcf.tex:9079: resons ==> reasons
data/minlog-4.0.99.20100221/doc/ref.tex:126: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/ref.tex:210: managable ==> manageable, manageably
data/minlog-4.0.99.20100221/doc/ref.tex:325: availble ==> available
data/minlog-4.0.99.20100221/doc/ref.tex:330: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/ref.tex:340: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/ref.tex:346: achived ==> achieved, archived
data/minlog-4.0.99.20100221/doc/ref.tex:874: managable ==> manageable, manageably
data/minlog-4.0.99.20100221/doc/ref.tex:1077: informations ==> information
data/minlog-4.0.99.20100221/doc/ref.tex:1082: informations ==> information
data/minlog-4.0.99.20100221/doc/ref.tex:1382: exept ==> except, exempt
data/minlog-4.0.99.20100221/doc/ref.tex:2297: definiton ==> definition
data/minlog-4.0.99.20100221/doc/ref.tex:2651: Morever ==> Moreover
data/minlog-4.0.99.20100221/doc/ref.tex:2745: implicitely ==> implicitly
data/minlog-4.0.99.20100221/doc/ref.tex:2845: implicitely ==> implicitly
data/minlog-4.0.99.20100221/doc/ref.tex:3381: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/ref.tex:4081: Similary ==> Similarly
data/minlog-4.0.99.20100221/doc/ref.tex:4152: assumtion ==> assumption
data/minlog-4.0.99.20100221/doc/ref.tex:4244: similary ==> similarly
data/minlog-4.0.99.20100221/doc/ref.tex:4383: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/ref.tex:4557: whe ==> when, we
data/minlog-4.0.99.20100221/doc/ref.tex:4594: explicitely ==> explicitly
data/minlog-4.0.99.20100221/doc/ref.tex:4699: Explicitely ==> Explicitly
data/minlog-4.0.99.20100221/doc/ref.tex:4720: Explicitely ==> Explicitly
data/minlog-4.0.99.20100221/doc/ref.tex:4950: assigment ==> assignment
data/minlog-4.0.99.20100221/doc/ref.tex:5074: brocken ==> broken
data/minlog-4.0.99.20100221/doc/bussproofs.sty:3: Buss ==> Bus
data/minlog-4.0.99.20100221/doc/bussproofs.sty:53: permissable ==> permissible
data/minlog-4.0.99.20100221/doc/bussproofs.sty:251: paramenters ==> parameters
data/minlog-4.0.99.20100221/lib/minpr_gen.scm:173: bellow ==> below
data/minlog-4.0.99.20100221/lib/minpr_gen.scm:300: bellow ==> below
data/minlog-4.0.99.20100221/lib/numbers.scm:1954: numer ==> number
data/minlog-4.0.99.20100221/lib/numbers.scm:1956: numer ==> number
data/minlog-4.0.99.20100221/lib/numbers.scm:1983: numer ==> number
data/minlog-4.0.99.20100221/lib/numbers.scm:1985: numer ==> number
data/minlog-4.0.99.20100221/lib/numbers.scm:2012: numer ==> number
data/minlog-4.0.99.20100221/lib/numbers.scm:2014: numer ==> number
data/minlog-4.0.99.20100221/lib/numbers.scm:2041: numer ==> number
data/minlog-4.0.99.20100221/lib/numbers.scm:2043: numer ==> number
data/minlog-4.0.99.20100221/lib/realsimp.scm:1097: numer ==> number
data/minlog-4.0.99.20100221/lib/realsimp.scm:1100: numer ==> number
data/minlog-4.0.99.20100221/examples/warning.txt:19: whish ==> wish
data/minlog-4.0.99.20100221/examples/fan/fanwklu.scm:1102: preceeding ==> preceding, proceeding
data/minlog-4.0.99.20100221/examples/classical/dickson/dickson_lemma2.scm:287: straightfoward ==> straightforward
data/minlog-4.0.99.20100221/examples/classical/dickson/dickson_gen.scm:124: embeded ==> embedded
data/minlog-4.0.99.20100221/examples/classical/gcd/gcd_minpr.scm:14: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/classical/gcd/gcd_minpr.scm:14: Funktion ==> Function
data/minlog-4.0.99.20100221/examples/classical/gcd/gcd_minpr.scm:47: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/classical/gcd/gcd_minpr.scm:47: positiv ==> positive
data/minlog-4.0.99.20100221/examples/classical/gcd/gcd_minpr.scm:47: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/classical/combinatorics/booleantape.scm:6: Aditional ==> Additional
data/minlog-4.0.99.20100221/examples/classical/combinatorics/booleantape.scm:214: addapted ==> adapted
data/minlog-4.0.99.20100221/examples/classical/combinatorics/tape.scm:6: Aditional ==> Additional
data/minlog-4.0.99.20100221/examples/classical/combinatorics/tape.scm:214: addapted ==> adapted
data/minlog-4.0.99.20100221/examples/classical/combinatorics/pigeonhole.scm:25: lenght ==> length
data/minlog-4.0.99.20100221/examples/bar/higman-finite.scm:137: Branchs ==> Branches
data/minlog-4.0.99.20100221/examples/normtest/normtest.scm:10: sie ==> size, sigh
data/minlog-4.0.99.20100221/examples/normtest/normtest.scm:17: Als ==> Also
data/minlog-4.0.99.20100221/examples/normtest/normtest.scm:18: exponentiell ==> exponential
data/minlog-4.0.99.20100221/examples/normtest/normtest.scm:20: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/normtest/normtest.scm:28: Rekursive ==> Recursive
data/minlog-4.0.99.20100221/examples/normtest/normtest.scm:91: Rekursive ==> Recursive
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:87: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:101: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:102: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:103: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:115: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:116: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:131: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:240: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:346: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm:1237: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/hao_suc.scm:468: SORD ==> SWORD, SORE, SORED, SAWED, SOARED
data/minlog-4.0.99.20100221/examples/ordinals/hao_suc.scm:475: SORD ==> SWORD, SORE, SORED, SAWED, SOARED
data/minlog-4.0.99.20100221/examples/ordinals/natnum.scm:90: Substraction ==> Subtraction
data/minlog-4.0.99.20100221/examples/ordinals/hao_term.scm:584: FO ==> OF, FOR
data/minlog-4.0.99.20100221/examples/ordinals/hao_term.scm:585: FO ==> OF, FOR
data/minlog-4.0.99.20100221/examples/ordinals/hao_term.scm:587: FO ==> OF, FOR
data/minlog-4.0.99.20100221/examples/ordinals/hao_term.scm:600: FO ==> OF, FOR
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:12: explicitely ==> explicitly
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:632: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:647: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:648: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:649: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:661: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:662: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:676: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:678: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:709: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:862: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:1022: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:1072: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:2315: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm:3093: AddES ==> adds
data/minlog-4.0.99.20100221/examples/ordinals/hao_cnf.scm:230: FO ==> OF, FOR
data/minlog-4.0.99.20100221/examples/ordinals/reflection_nat.scm:388: Unkown ==> Unknown
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:622: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:639: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:640: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:641: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:651: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:652: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:660: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:662: als ==> also
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:885: occuring ==> occurring
data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm:2445: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/hao.scm:19: funcions ==> functions
data/minlog-4.0.99.20100221/examples/ordinals/hao.scm:142: FO ==> OF, FOR
data/minlog-4.0.99.20100221/examples/ordinals/hao.scm:154: FO ==> OF, FOR
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:16: embedds ==> embeds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:24: embedds ==> embeds
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:82: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:90: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:133: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:140: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:147: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:154: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:162: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:170: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:177: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:190: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:197: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:227: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm:240: finshed ==> finished
data/minlog-4.0.99.20100221/examples/ordinals/FAN/positive.scm:1773: postive ==> positive
data/minlog-4.0.99.20100221/examples/ordinals/FAN/positive.scm:2878: wether ==> weather, whether
data/minlog-4.0.99.20100221/examples/ordinals/FAN/positive.scm:2960: larg ==> large
data/minlog-4.0.99.20100221/examples/ordinals/FAN/positive.scm:2962: larg ==> large
data/minlog-4.0.99.20100221/examples/ordinals/FAN/positive.scm:3006: larg ==> large
data/minlog-4.0.99.20100221/examples/ordinals/FAN/positive.scm:3008: larg ==> large
data/minlog-4.0.99.20100221/examples/warshall/warshall.mpc:13: supressed ==> suppressed
data/minlog-4.0.99.20100221/examples/warshall/lemmas.mpc:11: supressed ==> suppressed
data/minlog-4.0.99.20100221/examples/Schueler/germanise.scm:129: IST ==> IS, IT, ITS, IT'S, SIT, LIST
data/minlog-4.0.99.20100221/examples/Schueler/probestudstart.scm:72: Ende ==> End
data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm:19: alle ==> all, alley
data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm:19: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm:112: oder ==> order, odor
data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm:112: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm:115: alle ==> all, alley
data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm:147: oder ==> order, odor
data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm:153: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm:165: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/tait/taitScottPartial.scm:11: alle ==> all, alley
data/minlog-4.0.99.20100221/examples/tait/taitScottPartial.scm:520: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/taitScottPartial.scm:534: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/taitScott.scm:11: alle ==> all, alley
data/minlog-4.0.99.20100221/examples/tait/taitScott.scm:495: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/taitScott.scm:509: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:5: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:53: Defintions ==> Definitions
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:111: simplier ==> simpler
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:343: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:346: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:406: Effekt ==> Effect
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:513: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:522: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:533: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:560: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:585: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:840: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:847: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:1067: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:1074: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:1151: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:1159: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2080: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2083: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2085: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2090: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2095: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2100: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2111: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2111: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2499: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2500: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2799: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2810: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2947: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:2952: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm:3026: cACL ==> calc
data/minlog-4.0.99.20100221/examples/tait/sn.scm:750: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:753: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:757: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:795: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:798: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:802: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:842: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:845: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:849: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1000: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1004: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1190: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1193: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1204: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1353: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1356: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1458: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1461: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1978: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:1981: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2115: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2124: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2135: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2162: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2188: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2324: instanciations ==> instantiations
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2455: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2463: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2666: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2673: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2742: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:2750: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:3229: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:3241: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:3337: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:3342: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/sn.scm:4331: recusive ==> recursive, reclusive
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/omega.scm:855: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/omega.scm:857: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/omega.scm:862: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/omega.scm:867: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/omega.scm:873: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/omega.scm:873: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxNT.scm:183: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxNT.scm:188: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/tait.scm:165: Extraced ==> Extracted
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxGlobal.scm:213: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxGlobal.scm:218: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxGlobal.scm:220: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxGlobal.scm:233: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/README.txt:8: informations ==> information
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/defsLamCalc.scm:85: simplier ==> simpler
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:105: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:108: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:152: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:155: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:203: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:206: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:348: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:352: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:472: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:475: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:648: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:651: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:762: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm:765: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/Lem3.scm:64: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/Lem3.scm:77: IHs ==> his
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxSC.scm:156: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxSC.scm:157: InOut ==> input, in out
data/minlog-4.0.99.20100221/examples/dijkstra/example.scm:5: Diskrete ==> Discrete
data/minlog-4.0.99.20100221/examples/dijkstra/example.scm:85: als ==> also
data/minlog-4.0.99.20100221/examples/dijkstra/example.scm:364: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/examples/dijkstra/dijkstra.scm:1012: automatize ==> automate
data/minlog-4.0.99.20100221/examples/dijkstra/dijkstra.scm:1087: automatize ==> automate
data/minlog-4.0.99.20100221/examples/train/int.scm:344: ABSOLUT ==> ABSOLUTE
data/minlog-4.0.99.20100221/examples/analysis/cont.scm:147: explicitely ==> explicitly
data/minlog-4.0.99.20100221/examples/analysis/cont.scm:1661: Similary ==> Similarly
data/minlog-4.0.99.20100221/examples/analysis/cont.scm:2393: continuos ==> continuous
data/minlog-4.0.99.20100221/examples/analysis/real.scm:394: Archimedian ==> Archimedean
data/minlog-4.0.99.20100221/examples/analysis/extraction.scm:71: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/extraction.scm:73: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/extraction.scm:100: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/extraction.scm:102: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/extraction.scm:129: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/extraction.scm:131: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/extraction.scm:158: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/extraction.scm:160: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/simpreal.scm:1518: numer ==> number
data/minlog-4.0.99.20100221/examples/analysis/simpreal.scm:1521: numer ==> number
data/minlog-4.0.99.20100221/src/prologue.scm:60: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:73: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:78: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:81: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:82: invers ==> inverse, invert
data/minlog-4.0.99.20100221/src/prologue.scm:98: Sie ==> Size, sigh
data/minlog-4.0.99.20100221/src/prologue.scm:98: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:99: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:114: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:118: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:126: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:138: Ende ==> End
data/minlog-4.0.99.20100221/src/prologue.scm:155: unter ==> under
data/minlog-4.0.99.20100221/src/prologue.scm:189: linke ==> linked
data/minlog-4.0.99.20100221/src/prologue.scm:208: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:212: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:228: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:229: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:229: alle ==> all, alley
data/minlog-4.0.99.20100221/src/prologue.scm:254: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:273: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:289: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:305: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:349: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:350: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prologue.scm:358: Objekt ==> Object
data/minlog-4.0.99.20100221/src/prologue.scm:363: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:365: normale ==> normal
data/minlog-4.0.99.20100221/src/prologue.scm:376: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:388: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:394: sie ==> size, sigh
data/minlog-4.0.99.20100221/src/prologue.scm:395: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:398: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:413: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:419: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:425: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:468: Rekursion ==> Recursion
data/minlog-4.0.99.20100221/src/prologue.scm:469: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:472: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:477: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:480: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:481: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:492: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:497: Ende ==> End
data/minlog-4.0.99.20100221/src/prologue.scm:501: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:503: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:522: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:526: alle ==> all, alley
data/minlog-4.0.99.20100221/src/prologue.scm:532: sie ==> size, sigh
data/minlog-4.0.99.20100221/src/prologue.scm:535: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prologue.scm:536: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:536: alle ==> all, alley
data/minlog-4.0.99.20100221/src/prologue.scm:538: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prologue.scm:541: Interaktive ==> Interactively
data/minlog-4.0.99.20100221/src/prologue.scm:542: als ==> also
data/minlog-4.0.99.20100221/src/prologue.scm:542: Objekt ==> Object
data/minlog-4.0.99.20100221/src/prologue.scm:559: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/term.scm:4343: andd ==> and
data/minlog-4.0.99.20100221/src/term.scm:4344: andd ==> and
data/minlog-4.0.99.20100221/src/term.scm:4583: andd ==> and
data/minlog-4.0.99.20100221/src/term.scm:4613: andd ==> and
data/minlog-4.0.99.20100221/src/term.scm:4936: andd ==> and
data/minlog-4.0.99.20100221/src/term.scm:4937: andd ==> and
data/minlog-4.0.99.20100221/src/term.scm:5420: andd ==> and
data/minlog-4.0.99.20100221/src/term.scm:5421: andd ==> and
data/minlog-4.0.99.20100221/src/term.scm:5549: explicitely ==> explicitly
data/minlog-4.0.99.20100221/src/term.scm:5642: satifies ==> satisfies
data/minlog-4.0.99.20100221/src/term.scm:5971: unneccessary ==> unnecessary
data/minlog-4.0.99.20100221/src/term.scm:6345: subsitution ==> substitution
data/minlog-4.0.99.20100221/src/etsd.scm:410: varn ==> warn
data/minlog-4.0.99.20100221/src/etsd.scm:431: varn ==> warn
data/minlog-4.0.99.20100221/src/etsd.scm:518: varn ==> warn
data/minlog-4.0.99.20100221/src/etsd.scm:525: varn ==> warn
data/minlog-4.0.99.20100221/src/etsd.scm:525: varn ==> warn
data/minlog-4.0.99.20100221/src/typ.scm:434: functons ==> functions
data/minlog-4.0.99.20100221/src/typ.scm:1377: unneccessary ==> unnecessary
data/minlog-4.0.99.20100221/src/pconst.scm:5: explicitely ==> explicitly
data/minlog-4.0.99.20100221/src/prop.scm:58: sie ==> size, sigh
data/minlog-4.0.99.20100221/src/prop.scm:59: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prop.scm:59: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:90: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:90: Sie ==> Size, sigh
data/minlog-4.0.99.20100221/src/prop.scm:92: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prop.scm:96: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:98: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prop.scm:99: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:101: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:106: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:110: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:115: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:420: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prop.scm:425: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prop.scm:483: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:484: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prop.scm:484: sie ==> size, sigh
data/minlog-4.0.99.20100221/src/prop.scm:484: unter ==> under
data/minlog-4.0.99.20100221/src/prop.scm:486: unter ==> under
data/minlog-4.0.99.20100221/src/prop.scm:487: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prop.scm:487: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:487: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:490: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:539: oder ==> order, odor
data/minlog-4.0.99.20100221/src/prop.scm:541: als ==> also
data/minlog-4.0.99.20100221/src/prop.scm:542: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:545: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/prop.scm:547: als ==> also
data/minlog-4.0.99.20100221/src/prop.scm:548: ist ==> is, it, its, it's, sit, list
data/minlog-4.0.99.20100221/src/logical.scm:247: ans ==> and
data/minlog-4.0.99.20100221/src/logical.scm:248: ans ==> and
data/minlog-4.0.99.20100221/src/logical.scm:248: ans ==> and
data/minlog-4.0.99.20100221/src/logical.scm:249: ans ==> and
data/minlog-4.0.99.20100221/src/pproof.scm:1349: andd ==> and
data/minlog-4.0.99.20100221/src/pproof.scm:1944: explicitely ==> explicitly
data/minlog-4.0.99.20100221/src/pproof.scm:1970: contant ==> constant, content
data/minlog-4.0.99.20100221/src/pproof.scm:2364: andd ==> and
data/minlog-4.0.99.20100221/src/pproof.scm:3174: hist ==> heist, his
data/minlog-4.0.99.20100221/src/pproof.scm:3174: hist ==> heist, his
data/minlog-4.0.99.20100221/src/pproof.scm:3176: hist ==> heist, his
data/minlog-4.0.99.20100221/src/pproof.scm:3178: hist ==> heist, his
data/minlog-4.0.99.20100221/src/pproof.scm:3179: hist ==> heist, his
data/minlog-4.0.99.20100221/src/pproof.scm:6640: satified ==> satisfied
data/minlog-4.0.99.20100221/src/pproof.scm:8133: explicitely ==> explicitly
data/minlog-4.0.99.20100221/src/ets.scm:313: AndD ==> and
data/minlog-4.0.99.20100221/src/ets.scm:314: AndD ==> and
data/minlog-4.0.99.20100221/src/proof.scm:344: andd ==> and
data/minlog-4.0.99.20100221/src/proof.scm:1881: uninstatiated ==> uninstantiated
data/minlog-4.0.99.20100221/src/proof.scm:2563: uninstatiated ==> uninstantiated
data/minlog-4.0.99.20100221/src/proof.scm:2637: Similary ==> Similarly
data/minlog-4.0.99.20100221/src/proof.scm:2646: assigment ==> assignment
data/minlog-4.0.99.20100221/src/grammar.scm:6: Auxiliar ==> Auxiliary
data/minlog-4.0.99.20100221/src/grammar.scm:117: wit ==> with
data/minlog-4.0.99.20100221/src/minitab.scm:1: automaticaly ==> automatically
data/minlog-4.0.99.20100221/src/log.txt:248: andd ==> and
data/minlog-4.0.99.20100221/src/log.txt:281: optinal ==> optional
data/minlog-4.0.99.20100221/src/log.txt:468: AndD ==> and
data/minlog-4.0.99.20100221/src/log.txt:1017: Forgoten ==> Forgotten
data/minlog-4.0.99.20100221/src/log.txt:1180: andd ==> and
data/minlog-4.0.99.20100221/src/log.txt:1997: exampeles ==> examples
data/minlog-4.0.99.20100221/src/log.txt:2252: instanciate ==> instantiate
data/minlog-4.0.99.20100221/src/log.txt:2256: instanciate ==> instantiate
data/minlog-4.0.99.20100221/src/log.txt:2260: instanciate ==> instantiate
data/minlog-4.0.99.20100221/src/log.txt:2374: satified ==> satisfied
data/minlog-4.0.99.20100221/src/log.txt:2404: instanciate ==> instantiate
data/minlog-4.0.99.20100221/src/log.txt:2608: assumtions ==> assumptions
data/minlog-4.0.99.20100221/src/log.txt:3178: wit ==> with
data/minlog-4.0.99.20100221/src/log.txt:3309: accomodated ==> accommodated
data/minlog-4.0.99.20100221/src/log.txt:3457: commads ==> commands
data/minlog-4.0.99.20100221/src/log.txt:3460: explicitely ==> explicitly
data/minlog-4.0.99.20100221/src/log.txt:3492: explicitely ==> explicitly
data/minlog-4.0.99.20100221/src/log.txt:3501: unneccessary ==> unnecessary
data/minlog-4.0.99.20100221/src/log.txt:3687: diplay ==> display
data/minlog-4.0.99.20100221/src/log.txt:3949: catched ==> caught
data/minlog-4.0.99.20100221/src/log.txt:4390: exept ==> except, exempt
data/minlog-4.0.99.20100221/src/log.txt:4682: intead ==> instead
data/minlog-4.0.99.20100221/src/log.txt:4763: contructed ==> constructed
data/minlog-4.0.99.20100221/src/lalr.scm:386: automaticaly ==> automatically
data/minlog-4.0.99.20100221/src/lalr.scm:502: Fonction ==> Function
data/minlog-4.0.99.20100221/src/lalr.scm:590: Fonction ==> Function
data/minlog-4.0.99.20100221/src/lalr.scm:636: Fonction ==> Function
data/minlog-4.0.99.20100221/src/lalr.scm:656: Fonction ==> Function
data/minlog-4.0.99.20100221/src/lalr.scm:732: Fonction ==> Function
data/minlog-4.0.99.20100221/src/lalr.scm:733: fonction ==> function
data/minlog-4.0.99.20100221/src/formula.scm:868: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:873: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:1615: AndD ==> and
data/minlog-4.0.99.20100221/src/formula.scm:1631: AndD ==> and
data/minlog-4.0.99.20100221/src/formula.scm:1694: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:2681: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:2682: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:2803: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:2803: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:2901: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:2901: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:3068: AndD ==> and
data/minlog-4.0.99.20100221/src/formula.scm:3176: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:3177: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:3386: andd ==> and
data/minlog-4.0.99.20100221/src/formula.scm:3598: implicitely ==> implicitly
data/minlog-4.0.99.20100221/src/axiom.scm:112: implicitely ==> implicitly
data/minlog-4.0.99.20100221/src/unicode.scm:147: seperated ==> separated
data/minlog-4.0.99.20100221/src/todo.scm:77: sould ==> could, should, sold
data/minlog-4.0.99.20100221/src/psym.scm:837: AndD ==> and
data/minlog-4.0.99.20100221/src/psym.scm:843: andd ==> and
data/minlog-4.0.99.20100221/src/psym.scm:1478: wit ==> with
data/minlog-4.0.99.20100221/src/lnf.scm:9: preceed ==> precede, proceed
data/minlog-4.0.99.20100221/src/lnf.scm:10: explicitely ==> explicitly
data/minlog-4.0.99.20100221/src/pp-sexp.scm:4: formated ==> formatted
data/minlog-4.0.99.20100221/src/boole.scm:8: andd ==> and
data/minlog-4.0.99.20100221/debian/changelog:54: upate ==> update
data/minlog-4.0.99.20100221/debian/copyright:22: rovide ==> provide
data/minlog-4.0.99.20100221/debian/copyright:61: Buss ==> Bus