equal
deleted
inserted
replaced
51 \end{matharray} |
51 \end{matharray} |
52 |
52 |
53 \begin{rail} |
53 \begin{rail} |
54 ('tag' | 'untag') (nameref+) |
54 ('tag' | 'untag') (nameref+) |
55 ; |
55 ; |
|
56 \end{rail} |
|
57 |
|
58 \begin{rail} |
56 ('COMP' | 'RS') nat? thmref |
59 ('COMP' | 'RS') nat? thmref |
57 ; |
60 ; |
58 'OF' thmrefs |
61 'OF' thmrefs |
59 ; |
62 ; |
60 'where' (term '=' term * 'and') |
63 \end{rail} |
|
64 |
|
65 \begin{rail} |
|
66 'where' (name '=' term * 'and') |
61 ; |
67 ; |
62 'of' (inst * ) ('concl:' (inst * ))? |
68 'of' (inst * ) ('concl' ':' (inst * ))? |
63 ; |
69 ; |
64 |
70 |
65 inst: underscore | term |
71 inst: underscore | term |
66 ; |
72 ; |
67 \end{rail} |
73 \end{rail} |