equal
deleted
inserted
replaced
41 "classrel" |
41 "classrel" |
42 "code_abstype" |
42 "code_abstype" |
43 "code_axioms" |
43 "code_axioms" |
44 "code_class" |
44 "code_class" |
45 "code_const" |
45 "code_const" |
|
46 "code_datatype" |
46 "code_gen" |
47 "code_gen" |
47 "code_instance" |
48 "code_instance" |
48 "code_library" |
49 "code_library" |
49 "code_module" |
50 "code_module" |
50 "code_modulename" |
51 "code_modulename" |
197 "theorems" |
198 "theorems" |
198 "theory" |
199 "theory" |
199 "thm" |
200 "thm" |
200 "thm_deps" |
201 "thm_deps" |
201 "thus" |
202 "thus" |
|
203 "thy_deps" |
202 "token_translation" |
204 "token_translation" |
203 "touch_all_thys" |
205 "touch_all_thys" |
204 "touch_child_thys" |
206 "touch_child_thys" |
205 "touch_thy" |
207 "touch_thy" |
206 "translations" |
208 "translations" |
342 "refute" |
344 "refute" |
343 "remove_thy" |
345 "remove_thy" |
344 "term" |
346 "term" |
345 "thm" |
347 "thm" |
346 "thm_deps" |
348 "thm_deps" |
|
349 "thy_deps" |
347 "touch_all_thys" |
350 "touch_all_thys" |
348 "touch_child_thys" |
351 "touch_child_thys" |
349 "touch_thy" |
352 "touch_thy" |
350 "typ" |
353 "typ" |
351 "update_thy" |
354 "update_thy" |
384 "classrel" |
387 "classrel" |
385 "code_abstype" |
388 "code_abstype" |
386 "code_axioms" |
389 "code_axioms" |
387 "code_class" |
390 "code_class" |
388 "code_const" |
391 "code_const" |
|
392 "code_datatype" |
389 "code_instance" |
393 "code_instance" |
390 "code_library" |
394 "code_library" |
391 "code_module" |
395 "code_module" |
392 "code_modulename" |
396 "code_modulename" |
393 "code_moduleprolog" |
397 "code_moduleprolog" |