| changeset 7974 | 34245feb6e82 |
| parent 7905 | c5f735f7428c |
| child 7981 | 5120a2a15d06 |
--- a/doc-src/IsarRef/generic.tex Fri Oct 29 12:49:50 1999 +0200 +++ b/doc-src/IsarRef/generic.tex Fri Oct 29 16:48:55 1999 +0200 @@ -317,7 +317,8 @@ \subsection{Basic methods}\label{sec:classical-basic} -\indexisarmeth{rule}\indexisarmeth{default}\indexisarmeth{contradiction} +\indexisarmeth{rule}\indexisarmeth{intro} +\indexisarmeth{elim}\indexisarmeth{default}\indexisarmeth{contradiction} \begin{matharray}{rcl} rule & : & \isarmeth \\ intro & : & \isarmeth \\