doc-src/IsarRef/Thy/Misc.thy
changeset 40255 9ffbc25e1606
parent 39836 a194f39cfcb4
child 41624 237328506a42
     1.1 --- a/doc-src/IsarRef/Thy/Misc.thy	Fri Oct 29 11:35:47 2010 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/Misc.thy	Fri Oct 29 11:49:56 2010 +0200
     1.3 @@ -21,19 +21,19 @@
     1.4    \end{matharray}
     1.5  
     1.6    \begin{rail}
     1.7 -    ('print\_theory' | 'print\_theorems') ('!'?)
     1.8 +    ('print_theory' | 'print_theorems') ('!'?)
     1.9      ;
    1.10  
    1.11 -    'find\_theorems' (('(' (nat)? ('with\_dups')? ')')?) (thmcriterion *)
    1.12 +    'find_theorems' (('(' (nat)? ('with_dups')? ')')?) (thmcriterion *)
    1.13      ;
    1.14      thmcriterion: ('-'?) ('name' ':' nameref | 'intro' | 'elim' | 'dest' |
    1.15        'solves' | 'simp' ':' term | term)
    1.16      ;
    1.17 -    'find\_consts' (constcriterion *)
    1.18 +    'find_consts' (constcriterion *)
    1.19      ;
    1.20      constcriterion: ('-'?) ('name' ':' nameref | 'strict' ':' type | type)
    1.21      ;
    1.22 -    'thm\_deps' thmrefs
    1.23 +    'thm_deps' thmrefs
    1.24      ;
    1.25    \end{rail}
    1.26  
    1.27 @@ -143,7 +143,7 @@
    1.28    \end{matharray}
    1.29  
    1.30    \begin{rail}
    1.31 -    ('cd' | 'use\_thy') name
    1.32 +    ('cd' | 'use_thy') name
    1.33      ;
    1.34    \end{rail}
    1.35