doc-src/TutorialI/appendix.tex
changeset 12180 91c9f661b183
parent 11450 1b02a6c4032f
child 12458 a8c219e76ae0
     1.1 --- a/doc-src/TutorialI/appendix.tex	Wed Nov 14 18:42:34 2001 +0100
     1.2 +++ b/doc-src/TutorialI/appendix.tex	Wed Nov 14 18:44:27 2001 +0100
     1.3 @@ -164,7 +164,6 @@
     1.4  %\hline
     1.5  %\texttt{and} &
     1.6  %\texttt{binder} &
     1.7 -%\texttt{con_defs} &
     1.8  %\texttt{concl} &
     1.9  %\texttt{congs} \\
    1.10  %\texttt{distinct} &