equal
deleted
inserted
replaced
26 "abbreviation" |
26 "abbreviation" |
27 "adhoc_overloading" |
27 "adhoc_overloading" |
28 "also" |
28 "also" |
29 "apply" |
29 "apply" |
30 "apply_end" |
30 "apply_end" |
|
31 "approximate" |
31 "assume" |
32 "assume" |
32 "atom_decl" |
33 "atom_decl" |
33 "attribute_setup" |
34 "attribute_setup" |
34 "axiomatization" |
35 "axiomatization" |
35 "back" |
36 "back" |
386 "use_thy")) |
387 "use_thy")) |
387 |
388 |
388 (defconst isar-keywords-diag |
389 (defconst isar-keywords-diag |
389 '("ML_command" |
390 '("ML_command" |
390 "ML_val" |
391 "ML_val" |
|
392 "approximate" |
391 "cartouche" |
393 "cartouche" |
392 "class_deps" |
394 "class_deps" |
393 "code_deps" |
395 "code_deps" |
394 "code_thms" |
396 "code_thms" |
395 "display_drafts" |
397 "display_drafts" |