--- a/doc-src/Logics/logics.rao Fri May 09 19:41:46 1997 +0200
+++ b/doc-src/Logics/logics.rao Fri May 09 19:42:09 1997 +0200
@@ -1,12 +1,12 @@
-% 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 ')'; }
+% This file was generated by 'rail' from 'logics.rai'
+\rail@i {1}{ typedef : 'typedef' ( () | '(' name ')') type '=' set witness; type : typevarlist name ( () | '(' infix ')' ); set : string; witness : () | '(' id ')'; }
\rail@o {1}{
\rail@begin{2}{typedef}
\rail@term{typedef}[]
\rail@bar
\rail@nextbar{1}
\rail@term{(}[]
-\rail@nont{tname}[]
+\rail@nont{name}[]
\rail@term{)}[]
\rail@endbar
\rail@nont{type}[]
@@ -24,9 +24,6 @@
\rail@term{)}[]
\rail@endbar
\rail@end
-\rail@begin{1}{tname}
-\rail@nont{name}[]
-\rail@end
\rail@begin{1}{set}
\rail@nont{string}[]
\rail@end