Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Sun, 17 Mar 2019 21:26:42 +0100
changeset 69917 66c4567664b5
parent 69916 3235ecdcd884
child 69918 eddcc7c726f3
child 69919 7837309d633a
tuned signature;
src/Pure/Isar/keyword.scala file | annotate | diff | comparison | revisions 
--- 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 =
isabelle