| changeset 26184 | 64ee6a2ca6d6 |
| parent 25577 | d739f48ef40c |
| child 26394 | ddd7825ea4cd |
| 26183:0cc3ff184282 | 26184:64ee6a2ca6d6 |
|---|---|
233 "types_code" |
233 "types_code" |
234 "ultimately" |
234 "ultimately" |
235 "undo" |
235 "undo" |
236 "undos_proof" |
236 "undos_proof" |
237 "unfolding" |
237 "unfolding" |
238 "unused_thms" |
|
238 "use" |
239 "use" |
239 "use_thy" |
240 "use_thy" |
240 "using" |
241 "using" |
241 "value" |
242 "value" |
242 "welcome" |
243 "welcome" |
383 "thm_deps" |
384 "thm_deps" |
384 "thy_deps" |
385 "thy_deps" |
385 "touch_child_thys" |
386 "touch_child_thys" |
386 "touch_thy" |
387 "touch_thy" |
387 "typ" |
388 "typ" |
389 "unused_thms" |
|
388 "use" |
390 "use" |
389 "use_thy" |
391 "use_thy" |
390 "value" |
392 "value" |
391 "welcome")) |
393 "welcome")) |
392 |
394 |