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 "classes" |
37 "classes" |
37 "classrel" |
38 "classrel" |
38 "clear_undos" |
39 "clear_undos" |
39 "codatatype" |
40 "codatatype" |
40 "code_alias" |
41 "code_alias" |
41 "code_class" |
42 "code_class" |
42 "code_generate" |
43 "code_generate" |
43 "code_library" |
44 "code_library" |
44 "code_module" |
45 "code_module" |
|
46 "code_primclass" |
|
47 "code_primconst" |
|
48 "code_primtyco" |
45 "code_serialize" |
49 "code_serialize" |
46 "code_syntax_const" |
50 "code_syntax_const" |
47 "code_syntax_tyco" |
51 "code_syntax_tyco" |
48 "coinductive" |
52 "coinductive" |
49 "commit" |
53 "commit" |
202 "con_defs" |
206 "con_defs" |
203 "concl" |
207 "concl" |
204 "constants" |
208 "constants" |
205 "constrains" |
209 "constrains" |
206 "contains" |
210 "contains" |
207 "defined_by" |
|
208 "defines" |
211 "defines" |
209 "depending_on" |
212 "depending_on" |
210 "domains" |
213 "domains" |
211 "elimination" |
214 "elimination" |
212 "file" |
215 "file" |
327 (defconst isar-keywords-theory-decl |
330 (defconst isar-keywords-theory-decl |
328 '("ML_setup" |
331 '("ML_setup" |
329 "arities" |
332 "arities" |
330 "axclass" |
333 "axclass" |
331 "axioms" |
334 "axioms" |
|
335 "class_class" |
332 "classes" |
336 "classes" |
333 "classrel" |
337 "classrel" |
334 "codatatype" |
338 "codatatype" |
335 "code_alias" |
339 "code_alias" |
336 "code_class" |
340 "code_class" |
337 "code_generate" |
341 "code_generate" |
338 "code_library" |
342 "code_library" |
339 "code_module" |
343 "code_module" |
|
344 "code_primclass" |
|
345 "code_primconst" |
|
346 "code_primtyco" |
340 "code_serialize" |
347 "code_serialize" |
341 "code_syntax_const" |
348 "code_syntax_const" |
342 "code_syntax_tyco" |
349 "code_syntax_tyco" |
343 "coinductive" |
350 "coinductive" |
344 "constdefs" |
351 "constdefs" |