data/metamath-0.183/metamath.1:126: UE ==> USE, DUE
data/metamath-0.183/metamath.c:362: statment ==> statement
data/metamath-0.183/metamath.c:473: accomodate ==> accommodate
data/metamath-0.183/metamath.c:1584: arount ==> around
data/metamath-0.183/metamath.c:2842: fAllowed ==> followed
data/metamath-0.183/metamath.c:4830: fAllowed ==> followed
data/metamath-0.183/metamath.c:5403: fAllowed ==> followed
data/metamath-0.183/metamath.c:5538: commmand ==> command
data/metamath-0.183/metamath.c:5633: fAllowed ==> followed
data/metamath-0.183/mmcmds.c:60: immediatley ==> immediately
data/metamath-0.183/mmcmds.c:1585: conjuction ==> conjunction
data/metamath-0.183/mmcmds.c:3868: Supress ==> Suppress
data/metamath-0.183/mmcmds.c:3905: Supress ==> Suppress
data/metamath-0.183/mmcmds.c:3946: Supress ==> Suppress
data/metamath-0.183/mmcmds.c:4062: Procede ==> Proceed, precede
data/metamath-0.183/mmcmds.c:4285: witout ==> without
data/metamath-0.183/mmcmds.c:4479: possibilty ==> possibility
data/metamath-0.183/mmcmds.c:4632: undesireable ==> undesirable
data/metamath-0.183/mmcmds.c:4882: alway ==> always
data/metamath-0.183/mmcmds.c:5393: permissable ==> permissible
data/metamath-0.183/mmcmds.c:5554: fAllowed ==> followed
data/metamath-0.183/mmcmds.c:5586: fAllowed ==> followed
data/metamath-0.183/mmcmds.c:5644: fAllowed ==> followed
data/metamath-0.183/mmcmds.c:5647: fAllowed ==> followed
data/metamath-0.183/mmcmds.c:5650: fAllowed ==> followed
data/metamath-0.183/mmcmds.h:105: permissable ==> permissible
data/metamath-0.183/mmcmds.h:130: fAllowed ==> followed
data/metamath-0.183/mmdata.c:749: functon ==> function
data/metamath-0.183/mmdata.c:2024: explict ==> explicit
data/metamath-0.183/mmdata.c:2050: explict ==> explicit
data/metamath-0.183/mmdata.c:2385: functon ==> function
data/metamath-0.183/mmhlpa.c:188: specifed ==> specified
data/metamath-0.183/mmhlpb.c:172: synomym ==> synonym
data/metamath-0.183/mmhlpb.c:601: permissable ==> permissible
data/metamath-0.183/mmhlpb.c:605: permissable ==> permissible
data/metamath-0.183/mminou.c:1176: MSDOS ==> MS-DOS
data/metamath-0.183/mmpars.c:933: accomodate ==> accommodate
data/metamath-0.183/mmpars.c:1250: ficticious ==> fictitious
data/metamath-0.183/mmpars.c:1265: ficticious ==> fictitious
data/metamath-0.183/mmpars.c:1300: ficticious ==> fictitious
data/metamath-0.183/mmpars.c:3360: procede ==> proceed, precede
data/metamath-0.183/mmpars.c:3765: accomodate ==> accommodate
data/metamath-0.183/mmpars.c:4576: explict ==> explicit
data/metamath-0.183/mmpars.c:4962: enhace ==> enhance
data/metamath-0.183/mmpars.c:5879: commment ==> comment
data/metamath-0.183/mmpars.c:6041: occured ==> occurred
data/metamath-0.183/mmpars.c:6536: occured ==> occurred
data/metamath-0.183/mmpars.c:6565: ficticious ==> fictitious
data/metamath-0.183/mmpars.c:6587: ficticious ==> fictitious
data/metamath-0.183/mmpars.c:6605: ficticious ==> fictitious
data/metamath-0.183/mmpfas.c:33: accomodate ==> accommodate
data/metamath-0.183/mmpfas.c:967: interation ==> iteration, interaction
data/metamath-0.183/mmpfas.c:2046: overrided ==> overrode, overridden
data/metamath-0.183/mmpfas.c:2568: procede ==> proceed, precede
data/metamath-0.183/mmpfas.c:2748: assignement ==> assignment
data/metamath-0.183/mmunif.c:766: permissable ==> permissible
data/metamath-0.183/mmvstr.c:43: functon ==> function
data/metamath-0.183/mmvstr.h:81: excercised ==> exercised
data/metamath-0.183/mmvstr.h:190: functon ==> function
data/metamath-0.183/mmwtex.c:1191: texLine ==> textline
data/metamath-0.183/mmwtex.c:1201: texLine ==> textline
data/metamath-0.183/mmwtex.c:1236: texLine ==> textline
data/metamath-0.183/mmwtex.c:1236: texLine ==> textline
data/metamath-0.183/mmwtex.c:1238: texLine ==> textline
data/metamath-0.183/mmwtex.c:1238: texLine ==> textline
data/metamath-0.183/mmwtex.c:1241: texLine ==> textline
data/metamath-0.183/mmwtex.c:1241: texLine ==> textline
data/metamath-0.183/mmwtex.c:1252: texLine ==> textline
data/metamath-0.183/mmwtex.c:1978: commmand ==> command
data/metamath-0.183/mmwtex.c:2538: ot ==> to, of, or
data/metamath-0.183/mmwtex.c:3073: ealier ==> earlier
data/metamath-0.183/mmwtex.c:3152: accomodate ==> accommodate
data/metamath-0.183/mmwtex.c:3243: texLine ==> textline
data/metamath-0.183/mmwtex.c:3268: texLine ==> textline
data/metamath-0.183/mmwtex.c:3387: texLine ==> textline
data/metamath-0.183/mmwtex.c:3388: texLine ==> textline
data/metamath-0.183/mmwtex.c:3537: texLine ==> textline
data/metamath-0.183/mmwtex.c:3537: texLine ==> textline
data/metamath-0.183/mmwtex.c:3551: texLine ==> textline
data/metamath-0.183/mmwtex.c:3574: texLine ==> textline
data/metamath-0.183/mmwtex.c:3600: texLine ==> textline
data/metamath-0.183/mmwtex.c:3605: texLine ==> textline
data/metamath-0.183/mmwtex.c:3609: texLine ==> textline
data/metamath-0.183/mmwtex.c:3623: texLine ==> textline
data/metamath-0.183/mmwtex.c:5937: texLine ==> textline
data/metamath-0.183/mmwtex.c:5942: texLine ==> textline
data/metamath-0.183/mmwtex.c:5969: texLine ==> textline
data/metamath-0.183/mmwtex.c:5969: texLine ==> textline
data/metamath-0.183/mmwtex.c:5971: texLine ==> textline
data/metamath-0.183/mmwtex.c:5971: texLine ==> textline
data/metamath-0.183/mmwtex.c:5976: texLine ==> textline
data/metamath-0.183/mmwtex.c:5976: texLine ==> textline
data/metamath-0.183/mmwtex.c:5978: texLine ==> textline
data/metamath-0.183/mmwtex.c:5978: texLine ==> textline
data/metamath-0.183/mmwtex.c:6018: texLine ==> textline
data/metamath-0.183/mmwtex.c:6018: texLine ==> textline
data/metamath-0.183/mmwtex.c:6048: texLine ==> textline
data/metamath-0.183/mmwtex.c:6048: texLine ==> textline
data/metamath-0.183/mmwtex.c:6067: texLine ==> textline
data/metamath-0.183/mmwtex.c:6067: texLine ==> textline
data/metamath-0.183/mmwtex.c:6078: texLine ==> textline
data/metamath-0.183/mmwtex.c:6078: texLine ==> textline
data/metamath-0.183/mmwtex.c:6086: texLine ==> textline
data/metamath-0.183/mmwtex.c:6086: texLine ==> textline
data/metamath-0.183/mmwtex.c:6095: texLine ==> textline
data/metamath-0.183/mmwtex.c:6095: texLine ==> textline
data/metamath-0.183/mmwtex.c:6104: texLine ==> textline
data/metamath-0.183/mmwtex.c:6104: texLine ==> textline
data/metamath-0.183/mmwtex.c:6109: texLine ==> textline
data/metamath-0.183/mmwtex.c:6109: texLine ==> textline
data/metamath-0.183/mmwtex.c:6115: texLine ==> textline
data/metamath-0.183/mmwtex.c:6115: texLine ==> textline
data/metamath-0.183/mmwtex.c:6119: texLine ==> textline
data/metamath-0.183/mmwtex.c:6121: texLine ==> textline
data/metamath-0.183/mmwtex.c:6126: texLine ==> textline