src/Pure/Isar/keyword.scala

--- a/src/Pure/Isar/keyword.scala	Wed Jul 08 11:50:43 2015 +0200
+++ b/src/Pure/Isar/keyword.scala	Wed Jul 08 12:09:44 2015 +0200
@@ -77,6 +77,9 @@
   val qed = Set(QED, QED_SCRIPT, QED_BLOCK)
   val qed_global = Set(QED_GLOBAL)
 
+  val proof_open = proof_goal + PRF_OPEN
+  val proof_close = qed + PRF_CLOSE
+
 
 
   /** keyword tables **/