equal
deleted
inserted
replaced
36 "bnf_decl" |
36 "bnf_decl" |
37 "boogie_file" |
37 "boogie_file" |
38 "bundle" |
38 "bundle" |
39 "by" |
39 "by" |
40 "cannot_undo" |
40 "cannot_undo" |
|
41 "cartouche" |
41 "case" |
42 "case" |
42 "case_of_simps" |
43 "case_of_simps" |
43 "cd" |
44 "cd" |
44 "chapter" |
45 "chapter" |
45 "class" |
46 "class" |
387 "use_thy")) |
388 "use_thy")) |
388 |
389 |
389 (defconst isar-keywords-diag |
390 (defconst isar-keywords-diag |
390 '("ML_command" |
391 '("ML_command" |
391 "ML_val" |
392 "ML_val" |
|
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" |
396 "find_consts" |
398 "find_consts" |