changeset 27502 | a8561998cea7 |
parent 27207 | 548e2d3105b9 |
child 27538 | 65f64da68a97 |
27501:632ee56c2c0b | 27502:a8561998cea7 |
---|---|
176 "theory" |
176 "theory" |
177 "thm" |
177 "thm" |
178 "thm_deps" |
178 "thm_deps" |
179 "thus" |
179 "thus" |
180 "thy_deps" |
180 "thy_deps" |
181 "touch_child_thys" |
|
182 "touch_thy" |
181 "touch_thy" |
183 "translations" |
182 "translations" |
184 "txt" |
183 "txt" |
185 "txt_raw" |
184 "txt_raw" |
186 "typ" |
185 "typ" |
311 "remove_thy" |
310 "remove_thy" |
312 "term" |
311 "term" |
313 "thm" |
312 "thm" |
314 "thm_deps" |
313 "thm_deps" |
315 "thy_deps" |
314 "thy_deps" |
316 "touch_child_thys" |
|
317 "touch_thy" |
315 "touch_thy" |
318 "typ" |
316 "typ" |
319 "unused_thms" |
317 "unused_thms" |
320 "use_thy" |
318 "use_thy" |
321 "value" |
319 "value" |