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 60448 78f3c67bc35e
parent 60371 8a5cfdda1b98
child 60555 51a6997b1384 
--- a/src/Pure/Pure.thy	Thu Jun 11 16:15:27 2015 +0200
+++ b/src/Pure/Pure.thy	Thu Jun 11 22:47:53 2015 +0200
@@ -55,6 +55,7 @@
   and "supply" :: prf_script % "proof"
   and "using" "unfolding" :: prf_decl % "proof"
   and "fix" "assume" "presume" "def" :: prf_asm % "proof"
+  and "consider" :: prf_goal % "proof"
   and "obtain" :: prf_asm_goal % "proof"
   and "guess" :: prf_asm_goal_script % "proof"
   and "let" "write" :: prf_decl % "proof"
isabelle