changeset 23692 | b784849811fc |
parent 22864 | e2511e6e5cbb |
child 23804 | 5801141870b1 |
23691:cedf9610b71d | 23692:b784849811fc |
---|---|
249 "output" |
249 "output" |
250 "overloaded" |
250 "overloaded" |
251 "recursor_eqns" |
251 "recursor_eqns" |
252 "shows" |
252 "shows" |
253 "structure" |
253 "structure" |
254 "to" |
|
254 "type_elims" |
255 "type_elims" |
255 "type_intros" |
256 "type_intros" |
256 "unchecked" |
257 "unchecked" |
257 "uses" |
258 "uses" |
258 "where")) |
259 "where")) |