equal
deleted
inserted
replaced
1 % This file was generated by 'rail' from 'CookBook/generated/root.rai' |
1 % This file was generated by 'rail' from 'ProgTutorial/generated/root.rai' |
2 \rail@t {simpleinductive} |
2 \rail@t {simpleinductive} |
3 \rail@t {where} |
3 \rail@t {where} |
4 \rail@t {for} |
4 \rail@t {for} |
5 \rail@i {1}{ simpleinductive target? fixes (for fixes)? \\ (where (thmdecl? prop + '|'))? ; } |
5 \rail@i {1}{ simpleinductive target?\\ fixes (where (thmdecl? prop + '|'))? ; } |
6 \rail@o {1}{ |
6 \rail@o {1}{ |
7 \rail@begin{7}{} |
7 \rail@begin{7}{} |
8 \rail@token{simpleinductive}[] |
8 \rail@token{simpleinductive}[] |
9 \rail@bar |
9 \rail@bar |
10 \rail@nextbar{1} |
10 \rail@nextbar{1} |
11 \rail@nont{target}[] |
11 \rail@nont{target}[] |
12 \rail@endbar |
12 \rail@endbar |
|
13 \rail@cr{3} |
13 \rail@nont{fixes}[] |
14 \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 |
15 \rail@bar |
21 \rail@nextbar{4} |
16 \rail@nextbar{4} |
22 \rail@token{where}[] |
17 \rail@token{where}[] |
23 \rail@plus |
18 \rail@plus |
24 \rail@bar |
19 \rail@bar |