--- a/doc-src/Logics/logics.rao Fri May 02 16:18:11 1997 +0200
+++ b/doc-src/Logics/logics.rao Fri May 02 16:18:49 1997 +0200
@@ -1,80 +1,80 @@
-% This file was generated by 'rail' from 'logics.rai'
+% This file was generated by '/usr/stud/berghofe/latex/rail/rail' from 'logics.rai'
\rail@i {1}{ typedef : 'typedef' ( () | '(' tname ')') type '=' set witness; type : typevarlist name ( () | '(' infix ')' ); tname : name; set : string; witness : () | '(' id ')'; }
\rail@o {1}{
\rail@begin{2}{typedef}
-\rail@term{typedef}
+\rail@term{typedef}[]
\rail@bar
\rail@nextbar{1}
-\rail@term{(}
-\rail@nont{tname}
-\rail@term{)}
+\rail@term{(}[]
+\rail@nont{tname}[]
+\rail@term{)}[]
\rail@endbar
-\rail@nont{type}
-\rail@term{=}
-\rail@nont{set}
-\rail@nont{witness}
+\rail@nont{type}[]
+\rail@term{=}[]
+\rail@nont{set}[]
+\rail@nont{witness}[]
\rail@end
\rail@begin{2}{type}
-\rail@nont{typevarlist}
-\rail@nont{name}
+\rail@nont{typevarlist}[]
+\rail@nont{name}[]
\rail@bar
\rail@nextbar{1}
-\rail@term{(}
-\rail@nont{infix}
-\rail@term{)}
+\rail@term{(}[]
+\rail@nont{infix}[]
+\rail@term{)}[]
\rail@endbar
\rail@end
\rail@begin{1}{tname}
-\rail@nont{name}
+\rail@nont{name}[]
\rail@end
\rail@begin{1}{set}
-\rail@nont{string}
+\rail@nont{string}[]
\rail@end
\rail@begin{2}{witness}
\rail@bar
\rail@nextbar{1}
-\rail@term{(}
-\rail@nont{id}
-\rail@term{)}
+\rail@term{(}[]
+\rail@nont{id}[]
+\rail@term{)}[]
\rail@endbar
\rail@end
}
\rail@i {2}{ typedecl : typevarlist id '=' (cons + '|') ; cons : name (typ *) ( () | mixfix ) ; typ : id | tid | ('(' typevarlist id ')') ; }
\rail@o {2}{
\rail@begin{2}{typedecl}
-\rail@nont{typevarlist}
-\rail@nont{id}
-\rail@term{=}
+\rail@nont{typevarlist}[]
+\rail@nont{id}[]
+\rail@term{=}[]
\rail@plus
-\rail@nont{cons}
+\rail@nont{cons}[]
\rail@nextplus{1}
-\rail@cterm{|}
+\rail@cterm{|}[]
\rail@endplus
\rail@end
\rail@begin{3}{cons}
-\rail@nont{name}
+\rail@nont{name}[]
\rail@bar
\rail@nextbar{1}
\rail@plus
-\rail@nont{typ}
+\rail@nont{typ}[]
\rail@nextplus{2}
\rail@endplus
\rail@endbar
\rail@bar
\rail@nextbar{1}
-\rail@nont{mixfix}
+\rail@nont{mixfix}[]
\rail@endbar
\rail@end
\rail@begin{3}{typ}
\rail@bar
-\rail@nont{id}
+\rail@nont{id}[]
\rail@nextbar{1}
-\rail@nont{tid}
+\rail@nont{tid}[]
\rail@nextbar{2}
-\rail@term{(}
-\rail@nont{typevarlist}
-\rail@nont{id}
-\rail@term{)}
+\rail@term{(}[]
+\rail@nont{typevarlist}[]
+\rail@nont{id}[]
+\rail@term{)}[]
\rail@endbar
\rail@end
}