1 % This file was generated by 'rail' from 'CookBook/generated/root.rai'

     2 \rail@i {1}{ 'simple\protect \unhbox \voidb@x \kern .06em\vbox {\hrule width.3em}inductive' target? fixes ('for' fixes)? \\ ('where' (thmdecl? prop + '|'))? ; }

     3 \rail@o {1}{

     4 \rail@begin{7}{}

     5 \rail@term{simple\protect \unhbox \voidb@x \kern .06em\vbox {\hrule width.3em}inductive}[]

     6 \rail@bar

     7 \rail@nextbar{1}

     8 \rail@nont{target}[]

     9 \rail@endbar

    10 \rail@nont{fixes}[]

    11 \rail@bar

    12 \rail@nextbar{1}

    13 \rail@term{for}[]

    14 \rail@nont{fixes}[]

    15 \rail@endbar

    16 \rail@cr{3}

    17 \rail@bar

    18 \rail@nextbar{4}

    19 \rail@term{where}[]

    20 \rail@plus

    21 \rail@bar

    22 \rail@nextbar{5}

    23 \rail@nont{thmdecl}[]

    24 \rail@endbar

    25 \rail@nont{prop}[]

    26 \rail@nextplus{6}

    27 \rail@cterm{|}[]

    28 \rail@endplus

    29 \rail@endbar

    30 \rail@end

    31 }