# HG changeset patch
# User wenzelm
# Date 1552854402 -3600
# Node ID 66c4567664b5538402366b1ddb7538249c64804b
# Parent  3235ecdcd88480c32de186ff9c9ba83c9bd42a49
tuned signature;

diff -r 3235ecdcd884 -r 66c4567664b5 src/Pure/Isar/keyword.scala
--- a/src/Pure/Isar/keyword.scala	Sun Mar 17 20:03:55 2019 +0100
+++ b/src/Pure/Isar/keyword.scala	Sun Mar 17 21:26:42 2019 +0100
@@ -74,6 +74,8 @@
     Set(THY_LOAD, THY_DECL, THY_DECL_BLOCK, THY_DEFN, THY_STMT,
       THY_GOAL, THY_GOAL_DEFN, THY_GOAL_STMT)
 
+  val theory_defn = Set(THY_DEFN, THY_GOAL_DEFN)
+
   val prf_script = Set(PRF_SCRIPT)
 
   val proof =