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" |
199 "theorems" |
200 "theorems" |
200 "theory" |
201 "theory" |
201 "thm" |
202 "thm" |
202 "thm_deps" |
203 "thm_deps" |
203 "thus" |
204 "thus" |
|
205 "thy_deps" |
204 "token_translation" |
206 "token_translation" |
205 "touch_all_thys" |
207 "touch_all_thys" |
206 "touch_child_thys" |
208 "touch_child_thys" |
207 "touch_thy" |
209 "touch_thy" |
208 "translations" |
210 "translations" |
359 "refute" |
361 "refute" |
360 "remove_thy" |
362 "remove_thy" |
361 "term" |
363 "term" |
362 "thm" |
364 "thm" |
363 "thm_deps" |
365 "thm_deps" |
|
366 "thy_deps" |
364 "touch_all_thys" |
367 "touch_all_thys" |
365 "touch_child_thys" |
368 "touch_child_thys" |
366 "touch_thy" |
369 "touch_thy" |
367 "typ" |
370 "typ" |
368 "update_thy" |
371 "update_thy" |
401 "classrel" |
404 "classrel" |
402 "code_abstype" |
405 "code_abstype" |
403 "code_axioms" |
406 "code_axioms" |
404 "code_class" |
407 "code_class" |
405 "code_const" |
408 "code_const" |
|
409 "code_datatype" |
406 "code_instance" |
410 "code_instance" |
407 "code_library" |
411 "code_library" |
408 "code_module" |
412 "code_module" |
409 "code_modulename" |
413 "code_modulename" |
410 "code_moduleprolog" |
414 "code_moduleprolog" |