changeset 15141 | a95c2ff210ba |
parent 15135 | f00857c7539b |
child 15405 | 010ea63b7a67 |
15140:322485b816ac | 15141:a95c2ff210ba |
---|---|
202 "distinct" |
202 "distinct" |
203 "files" |
203 "files" |
204 "fixes" |
204 "fixes" |
205 "hide_action" |
205 "hide_action" |
206 "hints" |
206 "hints" |
207 "import" |
207 "imports" |
208 "in" |
208 "in" |
209 "includes" |
209 "includes" |
210 "induction" |
210 "induction" |
211 "infix" |
211 "infix" |
212 "infixl" |
212 "infixl" |