1.1 --- a/etc/isar-keywords-ZF.el Wed Jun 01 10:52:17 2005 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Wed Jun 01 12:30:49 2005 +0200
1.3 @@ -73,7 +73,6 @@
1.4 "inductive_cases"
1.5 "init_toplevel"
1.6 "instance"
1.7 - "instantiate"
1.8 "interpret"
1.9 "interpretation"
1.10 "judgment"
1.11 @@ -192,6 +191,7 @@
1.12 "case_eqns"
1.13 "con_defs"
1.14 "concl"
1.15 + "constrains"
1.16 "defines"
1.17 "domains"
1.18 "elimination"
1.19 @@ -413,7 +413,6 @@
1.20
1.21 (defconst isar-keywords-proof-decl
1.22 '("also"
1.23 - "instantiate"
1.24 "let"
1.25 "moreover"
1.26 "note"