data/prover9-manual-0.0.200902a/actions.html:46: Changable ==> Changeable
data/prover9-manual-0.0.200902a/actions.html:54: Changable ==> Changeable
data/prover9-manual-0.0.200902a/andrews.out:19: incompatiable ==> incompatible
data/prover9-manual-0.0.200902a/andrews.out:19: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:27: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:160: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:253: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:347: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:441: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:572: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:664: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:755: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:846: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:989: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1084: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1181: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1278: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1371: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1465: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1558: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1651: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1783: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:1917: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2054: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2149: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2240: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2331: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2422: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2513: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2607: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2701: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2797: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2893: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:2988: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:3082: FOF ==> FOR
data/prover9-manual-0.0.200902a/andrews.out:3175: FOF ==> FOR
data/prover9-manual-0.0.200902a/easy.in:9: BA ==> BY, BE
data/prover9-manual-0.0.200902a/fof-prover9.html:29: FOF ==> FOR
data/prover9-manual-0.0.200902a/fof-prover9.html:53: FOF ==> FOR
data/prover9-manual-0.0.200902a/fof-prover9.html:70: FOF ==> FOR
data/prover9-manual-0.0.200902a/glossary.html:106: varaibles ==> variables
data/prover9-manual-0.0.200902a/glossary.html:706: fof ==> for
data/prover9-manual-0.0.200902a/glossary.html:709: FOF ==> FOR
data/prover9-manual-0.0.200902a/glossary.html:711: FOF ==> FOR
data/prover9-manual-0.0.200902a/hard.in:9: BA ==> BY, BE
data/prover9-manual-0.0.200902a/inf-rules.html:186: resultion ==> resolution
data/prover9-manual-0.0.200902a/inf-rules.html:424: ocur ==> occur
data/prover9-manual-0.0.200902a/options.html:35: Parms ==> Params, prams
data/prover9-manual-0.0.200902a/m4-interpformat.html:85: scriping ==> scripting
data/prover9-manual-0.0.200902a/m4-interpformat.html:107: funcion ==> function
data/prover9-manual-0.0.200902a/m4-interpformat.html:108: funcion ==> function
data/prover9-manual-0.0.200902a/m4-isofilter.html:36: strucure ==> structure
data/prover9-manual-0.0.200902a/m4-options.html:35: compatability ==> compatibility
data/prover9-manual-0.0.200902a/others.html:162: experimenal ==> experimental
data/prover9-manual-0.0.200902a/others.html:191: restriced ==> restricted
data/prover9-manual-0.0.200902a/options:71: PARMS ==> PARAMS, PRAMS
data/prover9-manual-0.0.200902a/options:142: parm ==> param, pram, parma
data/prover9-manual-0.0.200902a/options:142: parms ==> params, prams
data/prover9-manual-0.0.200902a/RBA-2.in:2: elememt ==> element
data/prover9-manual-0.0.200902a/sed.glossary:113: fof ==> for
data/prover9-manual-0.0.200902a/sed.glossary:113: fof ==> for
data/prover9-manual-0.0.200902a/talk-software.html:25: FOF ==> FOR
data/prover9-manual-0.0.200902a/PUZ031-1.in:17: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.in:17: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.in:23: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.in:23: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.in:25: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.in:25: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.in:26: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.in:26: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.in:26: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:28: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:28: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:34: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:34: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:36: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:36: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:37: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:37: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out:37: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:25: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:25: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:31: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:31: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:33: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:33: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:34: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:34: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.out2:34: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/RBA-2.tptp:13: fof ==> for
data/prover9-manual-0.0.200902a/RBA-2.tptp:14: fof ==> for
data/prover9-manual-0.0.200902a/RBA-2q.tptp:13: fof ==> for
data/prover9-manual-0.0.200902a/RBA-2q.tptp:14: fof ==> for
data/prover9-manual-0.0.200902a/redeclare.in:1: changable ==> changeable
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:92: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:93: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:122: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:124: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:132: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:133: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:136: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:136: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:137: Catapillar ==> Caterpillar
data/prover9-manual-0.0.200902a/production.html:247: constitues ==> constitutes
data/prover9-manual-0.0.200902a/2inverter.in:32: acheive ==> achieve
data/prover9-manual-0.0.200902a/syntax.html:539: ane ==> and
data/prover9-manual-0.0.200902a/navbar-version/actions.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/attributes.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/auto.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:4: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:61: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:63: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:69: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:101: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:107: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:118: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html:124: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/glossary.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/goals.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/hints.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/hints.html:203: ane ==> and
data/prover9-manual-0.0.200902a/navbar-version/index.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/inf-rules.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/input.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/install.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/limits.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/loop.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/mace4.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/manual-index.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/more-prep.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/options.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/options.html:69: Parms ==> Params, prams
data/prover9-manual-0.0.200902a/navbar-version/options.html:572: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/output.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/process-inf.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/prooftrans.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/references.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/running.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/sed.navbar:32: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/select.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/semantics.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/syntax.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/term-order.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/navbar-version/weight.html:38: FOF ==> FOR
data/prover9-manual-0.0.200902a/references/references-ready.tex:11: anual ==> annual
data/prover9-manual-0.0.200902a/references/references-ready.tex:17: anual ==> annual
data/prover9-manual-0.0.200902a/.pc/01-entities.patch/syntax.html:539: ane ==> and