1.1 --- a/doc-src/Logics/logics.rao	Fri May 02 16:18:11 1997 +0200
     1.2 +++ b/doc-src/Logics/logics.rao	Fri May 02 16:18:49 1997 +0200
     1.3 @@ -1,80 +1,80 @@
     1.4 -% This file was generated by 'rail' from 'logics.rai'
     1.5 +% This file was generated by '/usr/stud/berghofe/latex/rail/rail' from 'logics.rai'
     1.6  \rail@i {1}{ typedef : 'typedef' ( () | '(' tname ')') type '=' set witness; type : typevarlist name ( () | '(' infix ')' ); tname : name; set : string; witness : () | '(' id ')'; }
     1.7  \rail@o {1}{
     1.8  \rail@begin{2}{typedef}
     1.9 -\rail@term{typedef}
    1.10 +\rail@term{typedef}[]
    1.11  \rail@bar
    1.12  \rail@nextbar{1}
    1.13 -\rail@term{(}
    1.14 -\rail@nont{tname}
    1.15 -\rail@term{)}
    1.16 +\rail@term{(}[]
    1.17 +\rail@nont{tname}[]
    1.18 +\rail@term{)}[]
    1.19  \rail@endbar
    1.20 -\rail@nont{type}
    1.21 -\rail@term{=}
    1.22 -\rail@nont{set}
    1.23 -\rail@nont{witness}
    1.24 +\rail@nont{type}[]
    1.25 +\rail@term{=}[]
    1.26 +\rail@nont{set}[]
    1.27 +\rail@nont{witness}[]
    1.28  \rail@end
    1.29  \rail@begin{2}{type}
    1.30 -\rail@nont{typevarlist}
    1.31 -\rail@nont{name}
    1.32 +\rail@nont{typevarlist}[]
    1.33 +\rail@nont{name}[]
    1.34  \rail@bar
    1.35  \rail@nextbar{1}
    1.36 -\rail@term{(}
    1.37 -\rail@nont{infix}
    1.38 -\rail@term{)}
    1.39 +\rail@term{(}[]
    1.40 +\rail@nont{infix}[]
    1.41 +\rail@term{)}[]
    1.42  \rail@endbar
    1.43  \rail@end
    1.44  \rail@begin{1}{tname}
    1.45 -\rail@nont{name}
    1.46 +\rail@nont{name}[]
    1.47  \rail@end
    1.48  \rail@begin{1}{set}
    1.49 -\rail@nont{string}
    1.50 +\rail@nont{string}[]
    1.51  \rail@end
    1.52  \rail@begin{2}{witness}
    1.53  \rail@bar
    1.54  \rail@nextbar{1}
    1.55 -\rail@term{(}
    1.56 -\rail@nont{id}
    1.57 -\rail@term{)}
    1.58 +\rail@term{(}[]
    1.59 +\rail@nont{id}[]
    1.60 +\rail@term{)}[]
    1.61  \rail@endbar
    1.62  \rail@end
    1.63  }
    1.64  \rail@i {2}{ typedecl : typevarlist id '=' (cons + '|') ; cons : name (typ *) ( () | mixfix ) ; typ : id | tid | ('(' typevarlist id ')') ; }
    1.65  \rail@o {2}{
    1.66  \rail@begin{2}{typedecl}
    1.67 -\rail@nont{typevarlist}
    1.68 -\rail@nont{id}
    1.69 -\rail@term{=}
    1.70 +\rail@nont{typevarlist}[]
    1.71 +\rail@nont{id}[]
    1.72 +\rail@term{=}[]
    1.73  \rail@plus
    1.74 -\rail@nont{cons}
    1.75 +\rail@nont{cons}[]
    1.76  \rail@nextplus{1}
    1.77 -\rail@cterm{|}
    1.78 +\rail@cterm{|}[]
    1.79  \rail@endplus
    1.80  \rail@end
    1.81  \rail@begin{3}{cons}
    1.82 -\rail@nont{name}
    1.83 +\rail@nont{name}[]
    1.84  \rail@bar
    1.85  \rail@nextbar{1}
    1.86  \rail@plus
    1.87 -\rail@nont{typ}
    1.88 +\rail@nont{typ}[]
    1.89  \rail@nextplus{2}
    1.90  \rail@endplus
    1.91  \rail@endbar
    1.92  \rail@bar
    1.93  \rail@nextbar{1}
    1.94 -\rail@nont{mixfix}
    1.95 +\rail@nont{mixfix}[]
    1.96  \rail@endbar
    1.97  \rail@end
    1.98  \rail@begin{3}{typ}
    1.99  \rail@bar
   1.100 -\rail@nont{id}
   1.101 +\rail@nont{id}[]
   1.102  \rail@nextbar{1}
   1.103 -\rail@nont{tid}
   1.104 +\rail@nont{tid}[]
   1.105  \rail@nextbar{2}
   1.106 -\rail@term{(}
   1.107 -\rail@nont{typevarlist}
   1.108 -\rail@nont{id}
   1.109 -\rail@term{)}
   1.110 +\rail@term{(}[]
   1.111 +\rail@nont{typevarlist}[]
   1.112 +\rail@nont{id}[]
   1.113 +\rail@term{)}[]
   1.114  \rail@endbar
   1.115  \rail@end
   1.116  }