1.1 --- a/doc-src/IsarRef/generic.tex	Wed Feb 14 23:43:55 2001 +0100
     1.2 +++ b/doc-src/IsarRef/generic.tex	Thu Feb 15 00:53:45 2001 +0100
     1.3 @@ -531,6 +531,7 @@
     1.4  \railalias{noasmuse}{no\_asm\_use}
     1.5  \railterm{noasmuse}
     1.6  
     1.7 +\indexouternonterm{simpmod}
     1.8  \begin{rail}
     1.9    ('simp' | simpall) ('!' ?) opt? (simpmod * )
    1.10    ;
    1.11 @@ -728,6 +729,7 @@
    1.12    clarify & : & \isarmeth \\
    1.13  \end{matharray}
    1.14  
    1.15 +\indexouternonterm{clamod}
    1.16  \begin{rail}
    1.17    'blast' ('!' ?) nat? (clamod * )
    1.18    ;
    1.19 @@ -771,6 +773,7 @@
    1.20    bestsimp & : & \isarmeth \\
    1.21  \end{matharray}
    1.22  
    1.23 +\indexouternonterm{clasimpmod}
    1.24  \begin{rail}
    1.25    'auto' '!'? (nat nat)? (clasimpmod * )
    1.26    ;