1.1 --- a/etc/isar-keywords-ZF.el Thu Aug 25 16:17:40 2005 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Thu Aug 25 17:51:11 2005 +0200
1.3 @@ -37,6 +37,8 @@
1.4 "classrel"
1.5 "clear_undos"
1.6 "codatatype"
1.7 + "code_library"
1.8 + "code_module"
1.9 "coinductive"
1.10 "commit"
1.11 "constdefs"
1.12 @@ -63,7 +65,6 @@
1.13 "fix"
1.14 "from"
1.15 "full_prf"
1.16 - "generate_code"
1.17 "global"
1.18 "have"
1.19 "header"
1.20 @@ -186,15 +187,18 @@
1.21 '("advanced"
1.22 "and"
1.23 "assumes"
1.24 + "attach"
1.25 "begin"
1.26 "binder"
1.27 "case_eqns"
1.28 "con_defs"
1.29 "concl"
1.30 "constrains"
1.31 + "contains"
1.32 "defines"
1.33 "domains"
1.34 "elimination"
1.35 + "file"
1.36 "files"
1.37 "fixes"
1.38 "imports"
1.39 @@ -316,6 +320,8 @@
1.40 "classes"
1.41 "classrel"
1.42 "codatatype"
1.43 + "code_library"
1.44 + "code_module"
1.45 "coinductive"
1.46 "constdefs"
1.47 "consts"
1.48 @@ -326,7 +332,6 @@
1.49 "extract"
1.50 "extract_type"
1.51 "finalconsts"
1.52 - "generate_code"
1.53 "global"
1.54 "hide"
1.55 "inductive"