equal
deleted
inserted
replaced
31 "by" |
31 "by" |
32 "cannot_undo" |
32 "cannot_undo" |
33 "case" |
33 "case" |
34 "cd" |
34 "cd" |
35 "chapter" |
35 "chapter" |
36 "class_class" |
36 "class" |
37 "classes" |
37 "classes" |
38 "classrel" |
38 "classrel" |
39 "clear_undos" |
39 "clear_undos" |
40 "codatatype" |
40 "codatatype" |
41 "code_alias" |
41 "code_alias" |
331 (defconst isar-keywords-theory-decl |
331 (defconst isar-keywords-theory-decl |
332 '("ML_setup" |
332 '("ML_setup" |
333 "arities" |
333 "arities" |
334 "axclass" |
334 "axclass" |
335 "axioms" |
335 "axioms" |
336 "class_class" |
336 "class" |
337 "classes" |
337 "classes" |
338 "classrel" |
338 "classrel" |
339 "codatatype" |
339 "codatatype" |
340 "code_alias" |
340 "code_alias" |
341 "code_class" |
341 "code_class" |