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

     2 \rail@t {simpleinductive}

     3 \rail@t {where}

     4 \rail@t {for}

     5 \rail@i {1}{ simpleinductive target?\\ 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@cr{3}

    14 \rail@nont{fixes}[]

    15 \rail@bar

    16 \rail@nextbar{4}

    17 \rail@token{where}[]

    18 \rail@plus

    19 \rail@bar

    20 \rail@nextbar{5}

    21 \rail@nont{thmdecl}[]

    22 \rail@endbar

    23 \rail@nont{prop}[]

    24 \rail@nextplus{6}

    25 \rail@cterm{|}[]

    26 \rail@endplus

    27 \rail@endbar

    28 \rail@end

    29 }