data/aac-tactics-8.11.0/src/theory.ml:285: informations ==> information
data/aac-tactics-8.11.0/src/theory.ml:873: informations ==> information
data/aac-tactics-8.11.0/src/aac_rewrite.ml:44: Howver ==> However
data/aac-tactics-8.11.0/src/aac_rewrite.ml:104: fonction ==> function
data/aac-tactics-8.11.0/src/aac_rewrite.ml:365: contet ==> contest, content, context
data/aac-tactics-8.11.0/src/matcher.mli:107: mentionned ==> mentioned
data/aac-tactics-8.11.0/src/matcher.mli:143: iif ==> if
data/aac-tactics-8.11.0/src/theory.mli:78: fonction ==> function
data/aac-tactics-8.11.0/src/theory.mli:96: Tranlations ==> Translations
data/aac-tactics-8.11.0/src/theory.mli:121: informations ==> information
data/aac-tactics-8.11.0/src/theory.mli:180: envirnoment ==> environment
data/aac-tactics-8.11.0/src/matcher.ml:431: folowing ==> following
data/aac-tactics-8.11.0/src/matcher.ml:678: exemple ==> example
data/aac-tactics-8.11.0/src/matcher.ml:932: curent ==> current
data/aac-tactics-8.11.0/src/matcher.ml:1052: intersting ==> interesting
data/aac-tactics-8.11.0/src/coq.ml:296: optionnal ==> optional
data/aac-tactics-8.11.0/src/coq.ml:331: informations ==> information
data/aac-tactics-8.11.0/src/coq.ml:384: instanciate ==> instantiate
data/aac-tactics-8.11.0/src/coq.mli:49: EInstance ==> instance
data/aac-tactics-8.11.0/src/coq.mli:158: informations ==> information
data/aac-tactics-8.11.0/src/coq.mli:178: optionnal ==> optional
data/aac-tactics-8.11.0/src/coq.mli:186: instanciate ==> instantiate