| changeset 10584 | 38e626f7dfa9 |
| parent 10550 | 93ca45370c59 |
| child 10640 | 562e20e543b1 |
| 10583:f2d9f4fd370b | 10584:38e626f7dfa9 |
|---|---|
1187 does not apply here, the theory or proof configuration is not changed. |
1187 does not apply here, the theory or proof configuration is not changed. |
1188 |
1188 |
1189 \begin{rail} |
1189 \begin{rail} |
1190 'pr' modes? nat? (',' nat)? |
1190 'pr' modes? nat? (',' nat)? |
1191 ; |
1191 ; |
1192 'thm' modes? thmrefs |
1192 'thm' modes? thmrefs comment? |
1193 ; |
1193 ; |
1194 'term' modes? term |
1194 'term' modes? term comment? |
1195 ; |
1195 ; |
1196 'prop' modes? prop |
1196 'prop' modes? prop comment? |
1197 ; |
1197 ; |
1198 'typ' modes? type |
1198 'typ' modes? type comment? |
1199 ; |
1199 ; |
1200 |
1200 |
1201 modes: '(' (name + ) ')' |
1201 modes: '(' (name + ) ')' |
1202 ; |
1202 ; |
1203 \end{rail} |
1203 \end{rail} |