\contentsline {section}{\numberline {1}Introduction}{1}
\contentsline {section}{\numberline {2}Example of a Manual Proof}{2}
\contentsline {section}{\numberline {3}A Mechanized Proof}{6}
\contentsline {section}{\numberline {4}From Grammars to Proofs}{7}
\contentsline {section}{\numberline {5}Organization of the Prover}{15}
\contentsline {subsection}{\numberline {5.1}$\alpha $-matching}{18}
\contentsline {section}{\numberline {6}Experience with the prover}{26}
\contentsline {section}{\numberline {7}Related Work}{26}
\contentsline {section}{\numberline {8}Current Work}{28}
\contentsline {section}{\numberline {9}Conclusions}{28}