Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Pure.thy
changeset 53371 47b23c582127
parent 52549 802576856527
child 53571 e58ca0311c0f 
--- a/src/Pure/Pure.thy	Mon Sep 02 11:03:02 2013 +0200
+++ b/src/Pure/Pure.thy	Mon Sep 02 16:10:26 2013 +0200
@@ -60,7 +60,8 @@
   and "then" "from" "with" :: prf_chain % "proof"
   and "note" "using" "unfolding" :: prf_decl % "proof"
   and "fix" "assume" "presume" "def" :: prf_asm % "proof"
-  and "obtain" "guess" :: prf_asm_goal % "proof"
+  and "obtain" :: prf_asm_goal % "proof"
+  and "guess" :: prf_asm_goal_script % "proof"
   and "let" "write" :: prf_decl % "proof"
   and "case" :: prf_asm % "proof"
   and "{" :: prf_open % "proof"
isabelle