Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Logics/logics.rao
author wenzelm
Thu, 20 Feb 1997 15:26:38 +0100
changeset 2661 366190b74832
parent 2660 9137a3d10d57
child 3096 ccc2c92bb232
permissions -rw-r--r--
made a bit more robust for 'make dist';
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2660
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     1
 
% This file was generated by 'rail' from 'logics.rai'
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     2
 
\rail@i {1}{ typedef : 'typedef' ( () | '(' tname ')') type '=' set witness; type : typevarlist name ( () | '(' infix ')' ); tname : name; set : string; witness : () | '(' id ')'; }
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     3
 
\rail@o {1}{
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     4
 
\rail@begin{2}{typedef}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     5
 
\rail@term{typedef}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     6
 
\rail@bar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     7
 
\rail@nextbar{1}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     8
 
\rail@term{(}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
     9
 
\rail@nont{tname}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    10
 
\rail@term{)}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    11
 
\rail@endbar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    12
 
\rail@nont{type}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    13
 
\rail@term{=}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    14
 
\rail@nont{set}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    15
 
\rail@nont{witness}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    16
 
\rail@end
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    17
 
\rail@begin{2}{type}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    18
 
\rail@nont{typevarlist}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    19
 
\rail@nont{name}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    20
 
\rail@bar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    21
 
\rail@nextbar{1}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    22
 
\rail@term{(}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    23
 
\rail@nont{infix}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    24
 
\rail@term{)}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    25
 
\rail@endbar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    26
 
\rail@end
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    27
 
\rail@begin{1}{tname}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    28
 
\rail@nont{name}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    29
 
\rail@end
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    30
 
\rail@begin{1}{set}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    31
 
\rail@nont{string}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    32
 
\rail@end
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    33
 
\rail@begin{2}{witness}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    34
 
\rail@bar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    35
 
\rail@nextbar{1}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    36
 
\rail@term{(}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    37
 
\rail@nont{id}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    38
 
\rail@term{)}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    39
 
\rail@endbar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    40
 
\rail@end
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    41
 
}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    42
 
\rail@i {2}{ typedecl : typevarlist id '=' (cons + '|') ; cons : name (typ *) ( () | mixfix ) ; typ : id | tid | ('(' typevarlist id ')') ; }
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    43
 
\rail@o {2}{
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    44
 
\rail@begin{2}{typedecl}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    45
 
\rail@nont{typevarlist}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    46
 
\rail@nont{id}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    47
 
\rail@term{=}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    48
 
\rail@plus
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    49
 
\rail@nont{cons}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    50
 
\rail@nextplus{1}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    51
 
\rail@cterm{|}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    52
 
\rail@endplus
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    53
 
\rail@end
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    54
 
\rail@begin{3}{cons}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    55
 
\rail@nont{name}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    56
 
\rail@bar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    57
 
\rail@nextbar{1}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    58
 
\rail@plus
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    59
 
\rail@nont{typ}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    60
 
\rail@nextplus{2}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    61
 
\rail@endplus
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    62
 
\rail@endbar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    63
 
\rail@bar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    64
 
\rail@nextbar{1}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    65
 
\rail@nont{mixfix}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    66
 
\rail@endbar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    67
 
\rail@end
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    68
 
\rail@begin{3}{typ}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    69
 
\rail@bar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    70
 
\rail@nont{id}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    71
 
\rail@nextbar{1}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    72
 
\rail@nont{tid}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    73
 
\rail@nextbar{2}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    74
 
\rail@term{(}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    75
 
\rail@nont{typevarlist}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    76
 
\rail@nont{id}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    77
 
\rail@term{)}
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    78
 
\rail@endbar
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    79
 
\rail@end
9137a3d10d57 rail output;
wenzelm
parents:
diff changeset 
    80
 
}
isabelle