equal
deleted
inserted
replaced
50 "code_instance" |
50 "code_instance" |
51 "code_library" |
51 "code_library" |
52 "code_module" |
52 "code_module" |
53 "code_modulename" |
53 "code_modulename" |
54 "code_monad" |
54 "code_monad" |
55 "code_props" |
|
56 "code_reserved" |
55 "code_reserved" |
57 "code_thms" |
56 "code_thms" |
58 "code_type" |
57 "code_type" |
59 "coinductive" |
58 "coinductive" |
60 "coinductive_set" |
59 "coinductive_set" |
215 "theory" |
214 "theory" |
216 "thm" |
215 "thm" |
217 "thm_deps" |
216 "thm_deps" |
218 "thus" |
217 "thus" |
219 "thy_deps" |
218 "thy_deps" |
220 "token_translation" |
|
221 "touch_child_thys" |
219 "touch_child_thys" |
222 "touch_thy" |
220 "touch_thy" |
223 "translations" |
221 "translations" |
224 "txt" |
222 "txt" |
225 "txt_raw" |
223 "txt_raw" |
418 "code_instance" |
416 "code_instance" |
419 "code_library" |
417 "code_library" |
420 "code_module" |
418 "code_module" |
421 "code_modulename" |
419 "code_modulename" |
422 "code_monad" |
420 "code_monad" |
423 "code_props" |
|
424 "code_reserved" |
421 "code_reserved" |
425 "code_type" |
422 "code_type" |
426 "coinductive" |
423 "coinductive" |
427 "coinductive_set" |
424 "coinductive_set" |
428 "constdefs" |
425 "constdefs" |
478 "statespace" |
475 "statespace" |
479 "syntax" |
476 "syntax" |
480 "text" |
477 "text" |
481 "text_raw" |
478 "text_raw" |
482 "theorems" |
479 "theorems" |
483 "token_translation" |
|
484 "translations" |
480 "translations" |
485 "typed_print_translation" |
481 "typed_print_translation" |
486 "typedecl" |
482 "typedecl" |
487 "types" |
483 "types" |
488 "types_code" |
484 "types_code" |