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

     2 \rail@t {simpleinductive}

     3 \rail@t {where}

     4 \rail@t {for}

     5 \rail@i {1}{ simpleinductive target? fixes (for fixes)? \\ (where (thmdecl? prop + '|'))? ; }

     6 \rail@o {1}{

     7 \rail@begin{7}{}

     8 \rail@token{simpleinductive}[]

     9 \rail@bar

    10 \rail@nextbar{1}

    11 \rail@nont{target}[]

    12 \rail@endbar

    13 \rail@nont{fixes}[]

    14 \rail@bar

    15 \rail@nextbar{1}

    16 \rail@token{for}[]

    17 \rail@nont{fixes}[]

    18 \rail@endbar

    19 \rail@cr{3}

    20 \rail@bar

    21 \rail@nextbar{4}

    22 \rail@token{where}[]

    23 \rail@plus

    24 \rail@bar

    25 \rail@nextbar{5}

    26 \rail@nont{thmdecl}[]

    27 \rail@endbar

    28 \rail@nont{prop}[]

    29 \rail@nextplus{6}

    30 \rail@cterm{|}[]

    31 \rail@endplus

    32 \rail@endbar

    33 \rail@end

    34 }