equal
deleted
inserted
replaced
16 "Isar\\.insert" |
16 "Isar\\.insert" |
17 "Isar\\.remove" |
17 "Isar\\.remove" |
18 "ML" |
18 "ML" |
19 "ML_command" |
19 "ML_command" |
20 "ML_prf" |
20 "ML_prf" |
|
21 "ML_test" |
21 "ML_val" |
22 "ML_val" |
22 "ProofGeneral\\.inform_file_processed" |
23 "ProofGeneral\\.inform_file_processed" |
23 "ProofGeneral\\.inform_file_retracted" |
24 "ProofGeneral\\.inform_file_retracted" |
24 "ProofGeneral\\.kill_proof" |
25 "ProofGeneral\\.kill_proof" |
25 "ProofGeneral\\.process_pgip" |
26 "ProofGeneral\\.process_pgip" |
346 "subsection" |
347 "subsection" |
347 "subsubsection")) |
348 "subsubsection")) |
348 |
349 |
349 (defconst isar-keywords-theory-decl |
350 (defconst isar-keywords-theory-decl |
350 '("ML" |
351 '("ML" |
|
352 "ML_test" |
351 "abbreviation" |
353 "abbreviation" |
352 "arities" |
354 "arities" |
353 "attribute_setup" |
355 "attribute_setup" |
354 "axclass" |
356 "axclass" |
355 "axiomatization" |
357 "axiomatization" |