1.1 --- a/etc/isar-keywords-ZF.el Tue Aug 16 23:39:30 2011 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Tue Aug 16 23:39:58 2011 +0200
1.3 @@ -40,12 +40,9 @@
1.4 "classrel"
1.5 "codatatype"
1.6 "code_datatype"
1.7 - "code_library"
1.8 - "code_module"
1.9 "coinductive"
1.10 "commit"
1.11 "consts"
1.12 - "consts_code"
1.13 "context"
1.14 "corollary"
1.15 "datatype"
1.16 @@ -194,7 +191,6 @@
1.17 "typed_print_translation"
1.18 "typedecl"
1.19 "types"
1.20 - "types_code"
1.21 "ultimately"
1.22 "undo"
1.23 "undos_proof"
1.24 @@ -219,11 +215,9 @@
1.25 "case_eqns"
1.26 "con_defs"
1.27 "constrains"
1.28 - "contains"
1.29 "defines"
1.30 "domains"
1.31 "elimination"
1.32 - "file"
1.33 "fixes"
1.34 "for"
1.35 "identifier"
1.36 @@ -354,11 +348,8 @@
1.37 "classrel"
1.38 "codatatype"
1.39 "code_datatype"
1.40 - "code_library"
1.41 - "code_module"
1.42 "coinductive"
1.43 "consts"
1.44 - "consts_code"
1.45 "context"
1.46 "datatype"
1.47 "declaration"
1.48 @@ -410,7 +401,6 @@
1.49 "typed_print_translation"
1.50 "typedecl"
1.51 "types"
1.52 - "types_code"
1.53 "use"))
1.54
1.55 (defconst isar-keywords-theory-script