doc-src/ZF/logics-ZF.rao

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/ZF/logics-ZF.rao	Sun May 01 17:55:29 2011 +0200
@@ -0,0 +1,55 @@
+% This file was generated by 'rail' from 'logics-ZF.rai'
+\rail@i {1}{ datatype : ( 'datatype' | 'codatatype' ) datadecls; \par
+datadecls: ( '"' id arglist '"' '=' (constructor + '|') ) + 'and' ; constructor : name ( () | consargs ) ( () | ( '(' mixfix ')' ) ) ; consargs : '(' ('"' var ' : ' term '"' + ',') ')' ; }
+\rail@o {1}{
+\rail@begin{2}{datatype}
+\rail@bar
+\rail@term{datatype}[]
+\rail@nextbar{1}
+\rail@term{codatatype}[]
+\rail@endbar
+\rail@nont{datadecls}[]
+\rail@end
+\rail@begin{3}{datadecls}
+\rail@plus
+\rail@term{"}[]
+\rail@nont{id}[]
+\rail@nont{arglist}[]
+\rail@term{"}[]
+\rail@term{=}[]
+\rail@plus
+\rail@nont{constructor}[]
+\rail@nextplus{1}
+\rail@cterm{|}[]
+\rail@endplus
+\rail@nextplus{2}
+\rail@cterm{and}[]
+\rail@endplus
+\rail@end
+\rail@begin{2}{constructor}
+\rail@nont{name}[]
+\rail@bar
+\rail@nextbar{1}
+\rail@nont{consargs}[]
+\rail@endbar
+\rail@bar
+\rail@nextbar{1}
+\rail@term{(}[]
+\rail@nont{mixfix}[]
+\rail@term{)}[]
+\rail@endbar
+\rail@end
+\rail@begin{2}{consargs}
+\rail@term{(}[]
+\rail@plus
+\rail@term{"}[]
+\rail@nont{var}[]
+\rail@term{ : }[]
+\rail@nont{term}[]
+\rail@term{"}[]
+\rail@nextplus{1}
+\rail@cterm{,}[]
+\rail@endplus
+\rail@term{)}[]
+\rail@end
+}