1.1 --- a/etc/isar-keywords-HOL-Nominal.el Tue May 08 15:01:28 2007 +0200
1.2 +++ b/etc/isar-keywords-HOL-Nominal.el Tue May 08 15:01:29 2007 +0200
1.3 @@ -11,7 +11,6 @@
1.4 "ML"
1.5 "ML_command"
1.6 "ML_setup"
1.7 - "ProofGeneral\\.call_atp"
1.8 "ProofGeneral\\.inform_file_processed"
1.9 "ProofGeneral\\.inform_file_retracted"
1.10 "ProofGeneral\\.kill_proof"
1.11 @@ -184,6 +183,7 @@
1.12 "setup"
1.13 "show"
1.14 "simproc_setup"
1.15 + "sledgehammer"
1.16 "sorry"
1.17 "specification"
1.18 "subsect"
1.19 @@ -299,7 +299,6 @@
1.20 (defconst isar-keywords-diag
1.21 '("ML"
1.22 "ML_command"
1.23 - "ProofGeneral\\.call_atp"
1.24 "cd"
1.25 "class_deps"
1.26 "code_deps"
1.27 @@ -347,6 +346,7 @@
1.28 "quickcheck"
1.29 "refute"
1.30 "remove_thy"
1.31 + "sledgehammer"
1.32 "term"
1.33 "thm"
1.34 "thm_deps"