diff -r 434b33c5f827 -r a8faa68c68b5 doc-src/Logics/logics.rao
--- 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