doc-src/Ref/ref.rao
author wenzelm
Mon, 24 Aug 1998 19:13:00 +0200
changeset 5372 610abcc48c5d
parent 4891 19ff46cd2bad
permissions -rw-r--r--
SYNC;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
     1
% This file was generated by 'rail' from 'ref.rai'
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
     2
\rail@t {lbrace}
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
     3
\rail@t {rbrace}
5372
wenzelm
parents: 4891
diff changeset
     4
\rail@i {1}{ \par theoryDef : id '=' (name + '+') ('+' extension | ()) ; \par name : id | string ; \par extension : (section +) 'end' ( () | ml ) ; \par section : classes | default | types | arities | nonterminals | consts | syntax | trans | defs | constdefs | rules | axclass | instance | oracle | local | global | setup ; \par classes : 'classes' ( classDecl + ) ; \par classDecl : (id (() | '<' (id + ','))) ; \par default : 'default' sort ; \par sort : id | lbrace (id * ',') rbrace ; \par types : 'types' ( ( typeDecl ( () | '(' infix ')' ) ) + ) ; \par infix : ( 'infixr' | 'infixl' ) (() | string) nat ; \par typeDecl : typevarlist name ( () | '=' ( string | type ) ); \par typevarlist : () | tid | '(' ( tid + ',' ) ')'; \par type : simpleType | '(' type ')' | type '=>' type | '[' ( type + "," ) ']' '=>' type; \par simpleType: id | ( tid ( () | '::' id ) ) | '(' ( type + "," ) ')' id | simpleType id ; \par arities : 'arities' ((name + ',') '::' arity +) ; \par arity : ( () | '(' (sort + ',') ')' ) sort ; \par nonterminals : 'nonterminals' (name+) ; \par consts : 'consts' ( mixfixConstDecl + ) ; \par syntax : 'syntax' (() | mode) ( mixfixConstDecl + ); \par mode : '(' name (() | 'output') ')' ; \par mixfixConstDecl : constDecl (() | ( '(' mixfix ')' )) ; \par constDecl : ( name + ',') '::' (string | type); \par mixfix : string ( () | ( () | ('[' (nat + ',') ']')) nat ) | infix | 'binder' string nat ; \par trans : 'translations' ( pat ( '==' | '=>' | '<=' ) pat + ) ; \par pat : ( () | ( '(' id ')' ) ) string; \par rules : 'rules' (( id string ) + ) ; \par defs : 'defs' (( id string ) + ) ; \par constdefs : 'constdefs' (name '::' (string | type) (() | mixfix) string +) ; \par axclass : 'axclass' classDecl (() | ( id string ) +) ; \par instance : 'instance' ( name '<' name | name '::' arity) witness ; \par witness : (() | '(' ((string | id | longident) + ',') ')') (() | verbatim) ; \par oracle : 'oracle' name '=' name ; \par local : 'local' ; \par global : 'global' ; \par setup : 'setup' (id | longident) ; \par ml : 'ML' text ; \par }
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
     5
\rail@o {1}{
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
     6
\rail@begin{2}{theoryDef}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
     7
\rail@nont{id}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
     8
\rail@term{=}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
     9
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    10
\rail@nont{name}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    11
\rail@nextplus{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    12
\rail@cterm{+}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    13
\rail@endplus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    14
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    15
\rail@term{+}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    16
\rail@nont{extension}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    17
\rail@nextbar{1}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    18
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    19
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    20
\rail@begin{2}{name}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    21
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    22
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    23
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    24
\rail@nont{string}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    25
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    26
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    27
\rail@begin{2}{extension}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    28
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    29
\rail@nont{section}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    30
\rail@nextplus{1}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    31
\rail@endplus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    32
\rail@term{end}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    33
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    34
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    35
\rail@nont{ml}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    36
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    37
\rail@end
5372
wenzelm
parents: 4891
diff changeset
    38
\rail@begin{17}{section}
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    39
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    40
\rail@nont{classes}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    41
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    42
\rail@nont{default}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    43
\rail@nextbar{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    44
\rail@nont{types}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    45
\rail@nextbar{3}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    46
\rail@nont{arities}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    47
\rail@nextbar{4}
5372
wenzelm
parents: 4891
diff changeset
    48
\rail@nont{nonterminals}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    49
\rail@nextbar{5}
5372
wenzelm
parents: 4891
diff changeset
    50
\rail@nont{consts}[]
wenzelm
parents: 4891
diff changeset
    51
\rail@nextbar{6}
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    52
\rail@nont{syntax}[]
5372
wenzelm
parents: 4891
diff changeset
    53
\rail@nextbar{7}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    54
\rail@nont{trans}[]
5372
wenzelm
parents: 4891
diff changeset
    55
\rail@nextbar{8}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    56
\rail@nont{defs}[]
5372
wenzelm
parents: 4891
diff changeset
    57
\rail@nextbar{9}
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    58
\rail@nont{constdefs}[]
5372
wenzelm
parents: 4891
diff changeset
    59
\rail@nextbar{10}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    60
\rail@nont{rules}[]
5372
wenzelm
parents: 4891
diff changeset
    61
\rail@nextbar{11}
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    62
\rail@nont{axclass}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    63
\rail@nextbar{12}
5372
wenzelm
parents: 4891
diff changeset
    64
\rail@nont{instance}[]
wenzelm
parents: 4891
diff changeset
    65
\rail@nextbar{13}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    66
\rail@nont{oracle}[]
5372
wenzelm
parents: 4891
diff changeset
    67
\rail@nextbar{14}
4543
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
    68
\rail@nont{local}[]
5372
wenzelm
parents: 4891
diff changeset
    69
\rail@nextbar{15}
4543
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
    70
\rail@nont{global}[]
5372
wenzelm
parents: 4891
diff changeset
    71
\rail@nextbar{16}
wenzelm
parents: 4891
diff changeset
    72
\rail@nont{setup}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    73
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    74
\rail@end
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    75
\rail@begin{2}{classes}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    76
\rail@term{classes}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    77
\rail@plus
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    78
\rail@nont{classDecl}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    79
\rail@nextplus{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    80
\rail@endplus
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    81
\rail@end
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
    82
\rail@begin{3}{classDecl}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    83
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    84
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    85
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    86
\rail@term{<}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    87
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    88
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    89
\rail@nextplus{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    90
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    91
\rail@endplus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    92
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    93
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    94
\rail@begin{1}{default}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    95
\rail@term{default}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
    96
\rail@nont{sort}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    97
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    98
\rail@begin{4}{sort}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
    99
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   100
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   101
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   102
\rail@token{lbrace}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   103
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   104
\rail@nextbar{2}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   105
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   106
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   107
\rail@nextplus{3}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   108
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   109
\rail@endplus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   110
\rail@endbar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   111
\rail@token{rbrace}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   112
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   113
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   114
\rail@begin{3}{types}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   115
\rail@term{types}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   116
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   117
\rail@nont{typeDecl}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   118
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   119
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   120
\rail@term{(}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   121
\rail@nont{infix}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   122
\rail@term{)}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   123
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   124
\rail@nextplus{2}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   125
\rail@endplus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   126
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   127
\rail@begin{2}{infix}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   128
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   129
\rail@term{infixr}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   130
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   131
\rail@term{infixl}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   132
\rail@endbar
3213
wenzelm
parents: 3129
diff changeset
   133
\rail@bar
wenzelm
parents: 3129
diff changeset
   134
\rail@nextbar{1}
wenzelm
parents: 3129
diff changeset
   135
\rail@nont{string}[]
wenzelm
parents: 3129
diff changeset
   136
\rail@endbar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   137
\rail@nont{nat}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   138
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   139
\rail@begin{3}{typeDecl}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   140
\rail@nont{typevarlist}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   141
\rail@nont{name}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   142
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   143
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   144
\rail@term{=}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   145
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   146
\rail@nont{string}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   147
\rail@nextbar{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   148
\rail@nont{type}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   149
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   150
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   151
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   152
\rail@begin{4}{typevarlist}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   153
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   154
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   155
\rail@nont{tid}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   156
\rail@nextbar{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   157
\rail@term{(}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   158
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   159
\rail@nont{tid}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   160
\rail@nextplus{3}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   161
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   162
\rail@endplus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   163
\rail@term{)}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   164
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   165
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   166
\rail@begin{5}{type}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   167
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   168
\rail@nont{simpleType}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   169
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   170
\rail@term{(}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   171
\rail@nont{type}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   172
\rail@term{)}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   173
\rail@nextbar{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   174
\rail@nont{type}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   175
\rail@term{=>}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   176
\rail@nont{type}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   177
\rail@nextbar{3}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   178
\rail@term{[}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   179
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   180
\rail@nont{type}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   181
\rail@nextplus{4}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   182
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   183
\rail@endplus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   184
\rail@term{]}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   185
\rail@term{=>}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   186
\rail@nont{type}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   187
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   188
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   189
\rail@begin{6}{simpleType}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   190
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   191
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   192
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   193
\rail@nont{tid}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   194
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   195
\rail@nextbar{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   196
\rail@term{::}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   197
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   198
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   199
\rail@nextbar{3}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   200
\rail@term{(}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   201
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   202
\rail@nont{type}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   203
\rail@nextplus{4}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   204
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   205
\rail@endplus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   206
\rail@term{)}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   207
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   208
\rail@nextbar{5}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   209
\rail@nont{simpleType}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   210
\rail@nont{id}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   211
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   212
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   213
\rail@begin{3}{arities}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   214
\rail@term{arities}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   215
\rail@plus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   216
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   217
\rail@nont{name}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   218
\rail@nextplus{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   219
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   220
\rail@endplus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   221
\rail@term{::}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   222
\rail@nont{arity}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   223
\rail@nextplus{2}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   224
\rail@endplus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   225
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   226
\rail@begin{3}{arity}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   227
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   228
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   229
\rail@term{(}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   230
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   231
\rail@nont{sort}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   232
\rail@nextplus{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   233
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   234
\rail@endplus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   235
\rail@term{)}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   236
\rail@endbar
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   237
\rail@nont{sort}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   238
\rail@end
5372
wenzelm
parents: 4891
diff changeset
   239
\rail@begin{2}{nonterminals}
wenzelm
parents: 4891
diff changeset
   240
\rail@term{nonterminals}[]
wenzelm
parents: 4891
diff changeset
   241
\rail@plus
wenzelm
parents: 4891
diff changeset
   242
\rail@nont{name}[]
wenzelm
parents: 4891
diff changeset
   243
\rail@nextplus{1}
wenzelm
parents: 4891
diff changeset
   244
\rail@endplus
wenzelm
parents: 4891
diff changeset
   245
\rail@end
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   246
\rail@begin{2}{consts}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   247
\rail@term{consts}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   248
\rail@plus
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   249
\rail@nont{mixfixConstDecl}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   250
\rail@nextplus{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   251
\rail@endplus
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   252
\rail@end
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   253
\rail@begin{2}{syntax}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   254
\rail@term{syntax}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   255
\rail@bar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   256
\rail@nextbar{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   257
\rail@nont{mode}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   258
\rail@endbar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   259
\rail@plus
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   260
\rail@nont{mixfixConstDecl}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   261
\rail@nextplus{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   262
\rail@endplus
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   263
\rail@end
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   264
\rail@begin{2}{mode}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   265
\rail@term{(}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   266
\rail@nont{name}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   267
\rail@bar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   268
\rail@nextbar{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   269
\rail@term{output}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   270
\rail@endbar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   271
\rail@term{)}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   272
\rail@end
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   273
\rail@begin{2}{mixfixConstDecl}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   274
\rail@nont{constDecl}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   275
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   276
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   277
\rail@term{(}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   278
\rail@nont{mixfix}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   279
\rail@term{)}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   280
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   281
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   282
\rail@begin{2}{constDecl}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   283
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   284
\rail@nont{name}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   285
\rail@nextplus{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   286
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   287
\rail@endplus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   288
\rail@term{::}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   289
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   290
\rail@nont{string}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   291
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   292
\rail@nont{type}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   293
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   294
\rail@end
3213
wenzelm
parents: 3129
diff changeset
   295
\rail@begin{6}{mixfix}
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   296
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   297
\rail@nont{string}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   298
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   299
\rail@nextbar{1}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   300
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   301
\rail@nextbar{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   302
\rail@term{[}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   303
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   304
\rail@nont{nat}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   305
\rail@nextplus{3}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   306
\rail@cterm{,}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   307
\rail@endplus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   308
\rail@term{]}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   309
\rail@endbar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   310
\rail@nont{nat}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   311
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   312
\rail@nextbar{4}
3213
wenzelm
parents: 3129
diff changeset
   313
\rail@nont{infix}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   314
\rail@nextbar{5}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   315
\rail@term{binder}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   316
\rail@nont{string}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   317
\rail@nont{nat}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   318
\rail@endbar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   319
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   320
\rail@begin{4}{trans}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   321
\rail@term{translations}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   322
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   323
\rail@nont{pat}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   324
\rail@bar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   325
\rail@term{==}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   326
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   327
\rail@term{=>}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   328
\rail@nextbar{2}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   329
\rail@term{<=}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   330
\rail@endbar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   331
\rail@nont{pat}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   332
\rail@nextplus{3}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   333
\rail@endplus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   334
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   335
\rail@begin{2}{pat}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   336
\rail@bar
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   337
\rail@nextbar{1}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   338
\rail@term{(}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   339
\rail@nont{id}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   340
\rail@term{)}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   341
\rail@endbar
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   342
\rail@nont{string}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   343
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   344
\rail@begin{2}{rules}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   345
\rail@term{rules}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   346
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   347
\rail@nont{id}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   348
\rail@nont{string}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   349
\rail@nextplus{1}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   350
\rail@endplus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   351
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   352
\rail@begin{2}{defs}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   353
\rail@term{defs}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   354
\rail@plus
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   355
\rail@nont{id}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   356
\rail@nont{string}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   357
\rail@nextplus{1}
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   358
\rail@endplus
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   359
\rail@end
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   360
\rail@begin{3}{constdefs}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   361
\rail@term{constdefs}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   362
\rail@plus
4543
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
   363
\rail@nont{name}[]
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   364
\rail@term{::}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   365
\rail@bar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   366
\rail@nont{string}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   367
\rail@nextbar{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   368
\rail@nont{type}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   369
\rail@endbar
4891
19ff46cd2bad fixed constdefs syntax;
wenzelm
parents: 4543
diff changeset
   370
\rail@bar
19ff46cd2bad fixed constdefs syntax;
wenzelm
parents: 4543
diff changeset
   371
\rail@nextbar{1}
19ff46cd2bad fixed constdefs syntax;
wenzelm
parents: 4543
diff changeset
   372
\rail@nont{mixfix}[]
19ff46cd2bad fixed constdefs syntax;
wenzelm
parents: 4543
diff changeset
   373
\rail@endbar
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   374
\rail@nont{string}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   375
\rail@nextplus{2}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   376
\rail@endplus
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   377
\rail@end
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   378
\rail@begin{3}{axclass}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   379
\rail@term{axclass}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   380
\rail@nont{classDecl}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   381
\rail@bar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   382
\rail@nextbar{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   383
\rail@plus
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   384
\rail@nont{id}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   385
\rail@nont{string}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   386
\rail@nextplus{2}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   387
\rail@endplus
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   388
\rail@endbar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   389
\rail@end
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   390
\rail@begin{2}{instance}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   391
\rail@term{instance}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   392
\rail@bar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   393
\rail@nont{name}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   394
\rail@term{<}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   395
\rail@nont{name}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   396
\rail@nextbar{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   397
\rail@nont{name}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   398
\rail@term{::}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   399
\rail@nont{arity}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   400
\rail@endbar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   401
\rail@nont{witness}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   402
\rail@end
5372
wenzelm
parents: 4891
diff changeset
   403
\rail@begin{5}{witness}
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   404
\rail@bar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   405
\rail@nextbar{1}
3129
wenzelm
parents: 3108
diff changeset
   406
\rail@term{(}[]
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   407
\rail@plus
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   408
\rail@bar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   409
\rail@nont{string}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   410
\rail@nextbar{2}
5372
wenzelm
parents: 4891
diff changeset
   411
\rail@nont{id}[]
wenzelm
parents: 4891
diff changeset
   412
\rail@nextbar{3}
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   413
\rail@nont{longident}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   414
\rail@endbar
5372
wenzelm
parents: 4891
diff changeset
   415
\rail@nextplus{4}
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   416
\rail@cterm{,}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   417
\rail@endplus
3129
wenzelm
parents: 3108
diff changeset
   418
\rail@term{)}[]
3108
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   419
\rail@endbar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   420
\rail@bar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   421
\rail@nextbar{1}
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   422
\rail@nont{verbatim}[]
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   423
\rail@endbar
335efc3f5632 misc updates, tuning, cleanup;
wenzelm
parents: 3098
diff changeset
   424
\rail@end
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   425
\rail@begin{1}{oracle}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   426
\rail@term{oracle}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   427
\rail@nont{name}[]
4316
wenzelm
parents: 3213
diff changeset
   428
\rail@term{=}[]
wenzelm
parents: 3213
diff changeset
   429
\rail@nont{name}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   430
\rail@end
4543
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
   431
\rail@begin{1}{local}
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
   432
\rail@term{local}[]
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
   433
\rail@end
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
   434
\rail@begin{1}{global}
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
   435
\rail@term{global}[]
82a45bdd0e80 several minor updates;
wenzelm
parents: 4316
diff changeset
   436
\rail@end
5372
wenzelm
parents: 4891
diff changeset
   437
\rail@begin{2}{setup}
wenzelm
parents: 4891
diff changeset
   438
\rail@term{setup}[]
wenzelm
parents: 4891
diff changeset
   439
\rail@bar
wenzelm
parents: 4891
diff changeset
   440
\rail@nont{id}[]
wenzelm
parents: 4891
diff changeset
   441
\rail@nextbar{1}
wenzelm
parents: 4891
diff changeset
   442
\rail@nont{longident}[]
wenzelm
parents: 4891
diff changeset
   443
\rail@endbar
wenzelm
parents: 4891
diff changeset
   444
\rail@end
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   445
\rail@begin{1}{ml}
3098
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   446
\rail@term{ML}[]
a31170b67367 Updated to LaTeX 2e
berghofe
parents: 2657
diff changeset
   447
\rail@nont{text}[]
2657
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   448
\rail@end
448bb82c4003 rail output;
wenzelm
parents:
diff changeset
   449
}