| author | berghofe |
| Fri, 02 May 1997 16:18:49 +0200 | |
| changeset 3096 | ccc2c92bb232 |
| parent 2660 | 9137a3d10d57 |
| child 3150 | a8faa68c68b5 |
| permissions | -rw-r--r-- |
| berghofe@3096 | 1 |
% This file was generated by '/usr/stud/berghofe/latex/rail/rail' from 'logics.rai' |
| wenzelm@2660 | 2 |
\rail@i {1}{ typedef : 'typedef' ( () | '(' tname ')') type '=' set witness; type : typevarlist name ( () | '(' infix ')' ); tname : name; set : string; witness : () | '(' id ')'; }
|
| wenzelm@2660 | 3 |
\rail@o {1}{
|
| wenzelm@2660 | 4 |
\rail@begin{2}{typedef}
|
| berghofe@3096 | 5 |
\rail@term{typedef}[]
|
| wenzelm@2660 | 6 |
\rail@bar |
| wenzelm@2660 | 7 |
\rail@nextbar{1}
|
| berghofe@3096 | 8 |
\rail@term{(}[]
|
| berghofe@3096 | 9 |
\rail@nont{tname}[]
|
| berghofe@3096 | 10 |
\rail@term{)}[]
|
| wenzelm@2660 | 11 |
\rail@endbar |
| berghofe@3096 | 12 |
\rail@nont{type}[]
|
| berghofe@3096 | 13 |
\rail@term{=}[]
|
| berghofe@3096 | 14 |
\rail@nont{set}[]
|
| berghofe@3096 | 15 |
\rail@nont{witness}[]
|
| wenzelm@2660 | 16 |
\rail@end |
| wenzelm@2660 | 17 |
\rail@begin{2}{type}
|
| berghofe@3096 | 18 |
\rail@nont{typevarlist}[]
|
| berghofe@3096 | 19 |
\rail@nont{name}[]
|
| wenzelm@2660 | 20 |
\rail@bar |
| wenzelm@2660 | 21 |
\rail@nextbar{1}
|
| berghofe@3096 | 22 |
\rail@term{(}[]
|
| berghofe@3096 | 23 |
\rail@nont{infix}[]
|
| berghofe@3096 | 24 |
\rail@term{)}[]
|
| wenzelm@2660 | 25 |
\rail@endbar |
| wenzelm@2660 | 26 |
\rail@end |
| wenzelm@2660 | 27 |
\rail@begin{1}{tname}
|
| berghofe@3096 | 28 |
\rail@nont{name}[]
|
| wenzelm@2660 | 29 |
\rail@end |
| wenzelm@2660 | 30 |
\rail@begin{1}{set}
|
| berghofe@3096 | 31 |
\rail@nont{string}[]
|
| wenzelm@2660 | 32 |
\rail@end |
| wenzelm@2660 | 33 |
\rail@begin{2}{witness}
|
| wenzelm@2660 | 34 |
\rail@bar |
| wenzelm@2660 | 35 |
\rail@nextbar{1}
|
| berghofe@3096 | 36 |
\rail@term{(}[]
|
| berghofe@3096 | 37 |
\rail@nont{id}[]
|
| berghofe@3096 | 38 |
\rail@term{)}[]
|
| wenzelm@2660 | 39 |
\rail@endbar |
| wenzelm@2660 | 40 |
\rail@end |
| wenzelm@2660 | 41 |
} |
| wenzelm@2660 | 42 |
\rail@i {2}{ typedecl : typevarlist id '=' (cons + '|') ; cons : name (typ *) ( () | mixfix ) ; typ : id | tid | ('(' typevarlist id ')') ; }
|
| wenzelm@2660 | 43 |
\rail@o {2}{
|
| wenzelm@2660 | 44 |
\rail@begin{2}{typedecl}
|
| berghofe@3096 | 45 |
\rail@nont{typevarlist}[]
|
| berghofe@3096 | 46 |
\rail@nont{id}[]
|
| berghofe@3096 | 47 |
\rail@term{=}[]
|
| wenzelm@2660 | 48 |
\rail@plus |
| berghofe@3096 | 49 |
\rail@nont{cons}[]
|
| wenzelm@2660 | 50 |
\rail@nextplus{1}
|
| berghofe@3096 | 51 |
\rail@cterm{|}[]
|
| wenzelm@2660 | 52 |
\rail@endplus |
| wenzelm@2660 | 53 |
\rail@end |
| wenzelm@2660 | 54 |
\rail@begin{3}{cons}
|
| berghofe@3096 | 55 |
\rail@nont{name}[]
|
| wenzelm@2660 | 56 |
\rail@bar |
| wenzelm@2660 | 57 |
\rail@nextbar{1}
|
| wenzelm@2660 | 58 |
\rail@plus |
| berghofe@3096 | 59 |
\rail@nont{typ}[]
|
| wenzelm@2660 | 60 |
\rail@nextplus{2}
|
| wenzelm@2660 | 61 |
\rail@endplus |
| wenzelm@2660 | 62 |
\rail@endbar |
| wenzelm@2660 | 63 |
\rail@bar |
| wenzelm@2660 | 64 |
\rail@nextbar{1}
|
| berghofe@3096 | 65 |
\rail@nont{mixfix}[]
|
| wenzelm@2660 | 66 |
\rail@endbar |
| wenzelm@2660 | 67 |
\rail@end |
| wenzelm@2660 | 68 |
\rail@begin{3}{typ}
|
| wenzelm@2660 | 69 |
\rail@bar |
| berghofe@3096 | 70 |
\rail@nont{id}[]
|
| wenzelm@2660 | 71 |
\rail@nextbar{1}
|
| berghofe@3096 | 72 |
\rail@nont{tid}[]
|
| wenzelm@2660 | 73 |
\rail@nextbar{2}
|
| berghofe@3096 | 74 |
\rail@term{(}[]
|
| berghofe@3096 | 75 |
\rail@nont{typevarlist}[]
|
| berghofe@3096 | 76 |
\rail@nont{id}[]
|
| berghofe@3096 | 77 |
\rail@term{)}[]
|
| wenzelm@2660 | 78 |
\rail@endbar |
| wenzelm@2660 | 79 |
\rail@end |
| wenzelm@2660 | 80 |
} |