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