# HG changeset patch
# User blanchet
# Date 1346168180 -7200
# Node ID 3517d6f50b12e33eec1d757d82fef7536bb2352b
# Parent  debfa361f648e1aa63c2905c1eb528f68b950764
updated keywords

diff -r debfa361f648 -r 3517d6f50b12 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Aug 28 17:24:53 2012 +0200
+++ b/etc/isar-keywords.el	Tue Aug 28 17:36:20 2012 +0200
@@ -32,6 +32,10 @@
     "axiomatization"
     "axioms"
     "back"
+    "bnf_codata"
+    "bnf_data"
+    "bnf_def"
+    "bnf_of_typ"
     "boogie_end"
     "boogie_open"
     "boogie_status"
@@ -170,6 +174,7 @@
     "print_ast_translation"
     "print_attributes"
     "print_binds"
+    "print_bnfs"
     "print_bundles"
     "print_cases"
     "print_claset"
@@ -387,6 +392,7 @@
     "print_antiquotations"
     "print_attributes"
     "print_binds"
+    "print_bnfs"
     "print_bundles"
     "print_cases"
     "print_claset"
@@ -463,6 +469,9 @@
     "attribute_setup"
     "axiomatization"
     "axioms"
+    "bnf_codata"
+    "bnf_data"
+    "bnf_of_typ"
     "boogie_end"
     "boogie_open"
     "bundle"
@@ -568,6 +577,7 @@
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
+    "bnf_def"
     "boogie_vc"
     "code_pred"
     "corollary"