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 61338 de610e8df459
parent 61337 4645502c3c64
child 61566 c3d6e570ccef 
--- a/src/Pure/Pure.thy	Tue Oct 06 15:14:28 2015 +0200
+++ b/src/Pure/Pure.thy	Tue Oct 06 15:39:00 2015 +0200
@@ -43,7 +43,7 @@
   and "instance" :: thy_goal
   and "overloading" :: thy_decl_block
   and "code_datatype" :: thy_decl
-  and "theorem" "lemma" "corollary" :: thy_goal
+  and "theorem" "lemma" "corollary" "proposition" :: thy_goal
   and "schematic_goal" :: thy_goal
   and "notepad" :: thy_decl_block
   and "have" :: prf_goal % "proof"
isabelle