% This file was generated by 'rail' from 'CookBook/generated/root.rai'
\rail@i {1}{ 'simple\protect \unhbox \voidb@x \kern .06em\vbox {\hrule width.3em}inductive' target? fixes ('for' fixes)? \\ ('where' (thmdecl? prop + '|'))? ; }
\rail@o {1}{
\rail@begin{7}{}
\rail@term{simple\protect \unhbox \voidb@x \kern .06em\vbox {\hrule width.3em}inductive}[]
\rail@bar
\rail@nextbar{1}
\rail@nont{target}[]
\rail@endbar
\rail@nont{fixes}[]
\rail@bar
\rail@nextbar{1}
\rail@term{for}[]
\rail@nont{fixes}[]
\rail@endbar
\rail@cr{3}
\rail@bar
\rail@nextbar{4}
\rail@term{where}[]
\rail@plus
\rail@bar
\rail@nextbar{5}
\rail@nont{thmdecl}[]
\rail@endbar
\rail@nont{prop}[]
\rail@nextplus{6}
\rail@cterm{|}[]
\rail@endplus
\rail@endbar
\rail@end
}