1.1 --- a/etc/isar-keywords-ZF.el Mon Aug 16 18:05:41 2004 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Mon Aug 16 19:06:59 2004 +0200
1.3 @@ -183,6 +183,7 @@
1.4 '("advanced"
1.5 "and"
1.6 "assumes"
1.7 + "begin"
1.8 "binder"
1.9 "case_eqns"
1.10 "con_defs"
1.11 @@ -192,6 +193,7 @@
1.12 "elimination"
1.13 "files"
1.14 "fixes"
1.15 + "import"
1.16 "in"
1.17 "includes"
1.18 "induction"
2.1 --- a/etc/isar-keywords.el Mon Aug 16 18:05:41 2004 +0200
2.2 +++ b/etc/isar-keywords.el Mon Aug 16 19:06:59 2004 +0200
2.3 @@ -193,6 +193,7 @@
2.4 "advanced"
2.5 "and"
2.6 "assumes"
2.7 + "begin"
2.8 "binder"
2.9 "compose"
2.10 "concl"
2.11 @@ -203,6 +204,7 @@
2.12 "fixes"
2.13 "hide_action"
2.14 "hints"
2.15 + "import"
2.16 "in"
2.17 "includes"
2.18 "induction"