| changeset 38272 | d104dedacd9e |
| parent 36521 | 79c1d2bbe5a9 |
| child 38276 | aac4eb1fa1d8 |
| 38271:111ce9651564 | 38272:d104dedacd9e |
|---|---|
188 "theory" |
188 "theory" |
189 "thm" |
189 "thm" |
190 "thm_deps" |
190 "thm_deps" |
191 "thus" |
191 "thus" |
192 "thy_deps" |
192 "thy_deps" |
193 "touch_thy" |
|
194 "translations" |
193 "translations" |
195 "txt" |
194 "txt" |
196 "txt_raw" |
195 "txt_raw" |
197 "typ" |
196 "typ" |
198 "type_notation" |
197 "type_notation" |
328 "remove_thy" |
327 "remove_thy" |
329 "term" |
328 "term" |
330 "thm" |
329 "thm" |
331 "thm_deps" |
330 "thm_deps" |
332 "thy_deps" |
331 "thy_deps" |
333 "touch_thy" |
|
334 "typ" |
332 "typ" |
335 "unused_thms" |
333 "unused_thms" |
336 "use_thy" |
334 "use_thy" |
337 "welcome")) |
335 "welcome")) |
338 |
336 |