
diff -r 0d801c6e4dc0 -r 34245feb6e82 doc-src/IsarRef/generic.tex
--- 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 \\




