equal
deleted
inserted
replaced
18 "ProofGeneral\\.kill_proof" |
18 "ProofGeneral\\.kill_proof" |
19 "ProofGeneral\\.pr" |
19 "ProofGeneral\\.pr" |
20 "ProofGeneral\\.process_pgip" |
20 "ProofGeneral\\.process_pgip" |
21 "ProofGeneral\\.restart" |
21 "ProofGeneral\\.restart" |
22 "ProofGeneral\\.undo" |
22 "ProofGeneral\\.undo" |
|
23 "SML_export" |
23 "SML_file" |
24 "SML_file" |
|
25 "SML_import" |
24 "abbreviation" |
26 "abbreviation" |
25 "also" |
27 "also" |
26 "apply" |
28 "apply" |
27 "apply_end" |
29 "apply_end" |
28 "assume" |
30 "assume" |
343 "subsubsection")) |
345 "subsubsection")) |
344 |
346 |
345 (defconst isar-keywords-theory-decl |
347 (defconst isar-keywords-theory-decl |
346 '("ML" |
348 '("ML" |
347 "ML_file" |
349 "ML_file" |
|
350 "SML_export" |
348 "SML_file" |
351 "SML_file" |
|
352 "SML_import" |
349 "abbreviation" |
353 "abbreviation" |
350 "attribute_setup" |
354 "attribute_setup" |
351 "axiomatization" |
355 "axiomatization" |
352 "bundle" |
356 "bundle" |
353 "class" |
357 "class" |