- <keyword>napply</keyword>
- <keyword>napplyS</keyword>
- <keyword>ncases</keyword>
- <keyword>nletin</keyword>
- <keyword>nauto</keyword>
- <keyword>nelim</keyword>
- <keyword>nwhd</keyword>
- <keyword>nnormalize</keyword>
- <keyword>nassumption</keyword>
- <keyword>ngeneralize</keyword>
- <keyword>nchange</keyword>
- <keyword>nrewrite</keyword>
- <keyword>ncut</keyword>
- <keyword>ninversion</keyword>
- <keyword>nlapply</keyword>
- <keyword>ndestruct</keyword>
+ <keyword>apply</keyword>
+ <keyword>applyS</keyword>
+ <keyword>cases</keyword>
+ <keyword>letin</keyword>
+ <keyword>auto</keyword>
+ <keyword>elim</keyword>
+ <keyword>whd</keyword>
+ <keyword>normalize</keyword>
+ <keyword>assumption</keyword>
+ <keyword>generalize</keyword>
+ <keyword>change</keyword>
+ <keyword>rewrite</keyword>
+ <keyword>cut</keyword>
+ <keyword>inversion</keyword>
+ <keyword>lapply</keyword>
+ <keyword>destruct</keyword>