changeset 33685 | 29106208ccf7 |
parent 33198 | bfb9a790d1e7 |
child 33874 | 1db5ca5eadf5 |
33684:29d8aaeb56e5 | 33685:29106208ccf7 |
---|---|
235 "notes" |
235 "notes" |
236 "obtains" |
236 "obtains" |
237 "open" |
237 "open" |
238 "output" |
238 "output" |
239 "overloaded" |
239 "overloaded" |
240 "pervasive" |
|
240 "recursor_eqns" |
241 "recursor_eqns" |
241 "shows" |
242 "shows" |
242 "structure" |
243 "structure" |
243 "type_elims" |
244 "type_elims" |
244 "type_intros" |
245 "type_intros" |