equal
deleted
inserted
replaced
45 "code_library" |
45 "code_library" |
46 "code_module" |
46 "code_module" |
47 "code_primclass" |
47 "code_primclass" |
48 "code_primconst" |
48 "code_primconst" |
49 "code_primtyco" |
49 "code_primtyco" |
|
50 "code_purge" |
50 "code_serialize" |
51 "code_serialize" |
51 "code_syntax_const" |
52 "code_syntax_const" |
52 "code_syntax_tyco" |
53 "code_syntax_tyco" |
53 "coinductive" |
54 "coinductive" |
54 "commit" |
55 "commit" |
237 "shows" |
238 "shows" |
238 "structure" |
239 "structure" |
239 "target_atom" |
240 "target_atom" |
240 "type_elims" |
241 "type_elims" |
241 "type_intros" |
242 "type_intros" |
|
243 "unchecked" |
242 "uses" |
244 "uses" |
243 "where")) |
245 "where")) |
244 |
246 |
245 (defconst isar-keywords-control |
247 (defconst isar-keywords-control |
246 '("ProofGeneral\\.context_thy_only" |
248 '("ProofGeneral\\.context_thy_only" |
349 "code_library" |
351 "code_library" |
350 "code_module" |
352 "code_module" |
351 "code_primclass" |
353 "code_primclass" |
352 "code_primconst" |
354 "code_primconst" |
353 "code_primtyco" |
355 "code_primtyco" |
|
356 "code_purge" |
354 "code_serialize" |
357 "code_serialize" |
355 "code_syntax_const" |
358 "code_syntax_const" |
356 "code_syntax_tyco" |
359 "code_syntax_tyco" |
357 "coinductive" |
360 "coinductive" |
358 "constdefs" |
361 "constdefs" |