doc-src/IsarRef/Thy/document/Spec.tex
changeset 30121 5c7bcb296600
parent 29754 2203ef9b55ce
child 30242 aea5d7fa7ef5
     1.1 --- a/doc-src/IsarRef/Thy/document/Spec.tex	Thu Feb 26 20:44:07 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/document/Spec.tex	Thu Feb 26 20:55:47 2009 +0100
     1.3 @@ -810,8 +810,8 @@
     1.4    \end{matharray}
     1.5  
     1.6    \begin{mldecls}
     1.7 -    \indexml{bind\_thms}\verb|bind_thms: string * thm list -> unit| \\
     1.8 -    \indexml{bind\_thm}\verb|bind_thm: string * thm -> unit| \\
     1.9 +    \indexdef{}{ML}{bind\_thms}\verb|bind_thms: string * thm list -> unit| \\
    1.10 +    \indexdef{}{ML}{bind\_thm}\verb|bind_thm: string * thm -> unit| \\
    1.11    \end{mldecls}
    1.12  
    1.13    \begin{rail}