--- a/doc-src/TutorialI/appendix.tex Wed Nov 14 18:42:34 2001 +0100
+++ b/doc-src/TutorialI/appendix.tex Wed Nov 14 18:44:27 2001 +0100
@@ -164,7 +164,6 @@
%\hline
%\texttt{and} &
%\texttt{binder} &
-%\texttt{con_defs} &
%\texttt{concl} &
%\texttt{congs} \\
%\texttt{distinct} &