src/HOL/Boogie/Boogie.thy

--- a/src/HOL/Boogie/Boogie.thy	Thu Mar 15 20:07:00 2012 +0100
+++ b/src/HOL/Boogie/Boogie.thy	Thu Mar 15 22:08:53 2012 +0100
@@ -6,6 +6,8 @@
 
 theory Boogie
 imports Word
+keywords
+  "boogie_open" "boogie_end" :: thy_decl and "boogie_vc" :: thy_goal and "boogie_status" :: diag
 uses
   ("Tools/boogie_vcs.ML")
   ("Tools/boogie_loader.ML")