doc-src/IsarImplementation/Thy/Logic.thy
changeset 40255 9ffbc25e1606
parent 40126 916cb4a28ffd
child 42401 9bfaf6819291
     1.1 --- a/doc-src/IsarImplementation/Thy/Logic.thy	Fri Oct 29 11:35:47 2010 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/Logic.thy	Fri Oct 29 11:49:56 2010 +0200
     1.3 @@ -201,7 +201,7 @@
     1.4    ;
     1.5    'sort' sort
     1.6    ;
     1.7 -  ('type\_name' | 'type\_abbrev' | 'nonterminal') nameref
     1.8 +  ('type_name' | 'type_abbrev' | 'nonterminal') nameref
     1.9    ;
    1.10    'typ' type
    1.11    ;
    1.12 @@ -437,7 +437,7 @@
    1.13    \end{matharray}
    1.14  
    1.15    \begin{rail}
    1.16 -  ('const\_name' | 'const\_abbrev') nameref
    1.17 +  ('const_name' | 'const_abbrev') nameref
    1.18    ;
    1.19    'const' ('(' (type + ',') ')')?
    1.20    ;