| changeset 25065 | 25696ce6dff1 |
| parent 24945 | 2c27817065bc |
| child 25516 | ad25835675b9 |
| 25064:c6664770ef6c | 25065:25696ce6dff1 |
|---|---|
228 "infix" |
228 "infix" |
229 "infixl" |
229 "infixl" |
230 "infixr" |
230 "infixr" |
231 "intros" |
231 "intros" |
232 "is" |
232 "is" |
233 "local_syntax" |
|
234 "monos" |
233 "monos" |
235 "notes" |
234 "notes" |
236 "obtains" |
235 "obtains" |
237 "open" |
236 "open" |
238 "output" |
237 "output" |