changeset 28721 | 21170e10c745 |
parent 28261 | 045187fc7840 |
child 28895 | 4e2914c2f8c5 |
28720:a08c37b478b2 | 28721:21170e10c745 |
---|---|
224 "for" |
224 "for" |
225 "identifier" |
225 "identifier" |
226 "if" |
226 "if" |
227 "imports" |
227 "imports" |
228 "in" |
228 "in" |
229 "includes" |
|
230 "induction" |
229 "induction" |
231 "infix" |
230 "infix" |
232 "infixl" |
231 "infixl" |
233 "infixr" |
232 "infixr" |
234 "intros" |
233 "intros" |