--- a/src/Tools/Code_Generator.thy Mon Feb 25 13:29:19 2013 +0100
+++ b/src/Tools/Code_Generator.thy Mon Feb 25 13:31:02 2013 +0100
@@ -7,8 +7,8 @@
theory Code_Generator
imports Pure
keywords
- "value" "print_codeproc" "code_thms" "code_deps" "export_code" :: diag and
- "code_class" "code_instance" "code_type"
+ "value" "print_codeproc" "code_thms" "code_deps" :: diag and
+ "export_code" "code_class" "code_instance" "code_type"
"code_const" "code_reserved" "code_include" "code_modulename"
"code_abort" "code_monad" "code_reflect" :: thy_decl and
"datatypes" "functions" "module_name" "file" "checking"