equal
deleted
inserted
replaced
39 "codatatype" |
39 "codatatype" |
40 "code_abstype" |
40 "code_abstype" |
41 "code_axioms" |
41 "code_axioms" |
42 "code_class" |
42 "code_class" |
43 "code_const" |
43 "code_const" |
|
44 "code_datatype" |
44 "code_gen" |
45 "code_gen" |
45 "code_instance" |
46 "code_instance" |
46 "code_library" |
47 "code_library" |
47 "code_module" |
48 "code_module" |
48 "code_modulename" |
49 "code_modulename" |
180 "theorems" |
181 "theorems" |
181 "theory" |
182 "theory" |
182 "thm" |
183 "thm" |
183 "thm_deps" |
184 "thm_deps" |
184 "thus" |
185 "thus" |
|
186 "thy_deps" |
185 "token_translation" |
187 "token_translation" |
186 "touch_all_thys" |
188 "touch_all_thys" |
187 "touch_child_thys" |
189 "touch_child_thys" |
188 "touch_thy" |
190 "touch_thy" |
189 "translations" |
191 "translations" |
320 "quickcheck" |
322 "quickcheck" |
321 "remove_thy" |
323 "remove_thy" |
322 "term" |
324 "term" |
323 "thm" |
325 "thm" |
324 "thm_deps" |
326 "thm_deps" |
|
327 "thy_deps" |
325 "touch_all_thys" |
328 "touch_all_thys" |
326 "touch_child_thys" |
329 "touch_child_thys" |
327 "touch_thy" |
330 "touch_thy" |
328 "typ" |
331 "typ" |
329 "update_thy" |
332 "update_thy" |
362 "codatatype" |
365 "codatatype" |
363 "code_abstype" |
366 "code_abstype" |
364 "code_axioms" |
367 "code_axioms" |
365 "code_class" |
368 "code_class" |
366 "code_const" |
369 "code_const" |
|
370 "code_datatype" |
367 "code_instance" |
371 "code_instance" |
368 "code_library" |
372 "code_library" |
369 "code_module" |
373 "code_module" |
370 "code_modulename" |
374 "code_modulename" |
371 "code_moduleprolog" |
375 "code_moduleprolog" |