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 59923 b21c82422d65
parent 59901 840d03805755
child 59939 7d46aa03696e 
--- a/src/Pure/Pure.thy	Fri Apr 03 21:25:55 2015 +0200
+++ b/src/Pure/Pure.thy	Sat Apr 04 14:04:11 2015 +0200
@@ -11,7 +11,8 @@
     "\<subseteq>" "]" "assumes" "attach" "binder" "constrains"
     "defines" "fixes" "for" "identifier" "if" "in" "includes" "infix"
     "infixl" "infixr" "is" "notes" "obtains" "open" "output"
-    "overloaded" "pervasive" "shows" "structure" "unchecked" "where" "|"
+    "overloaded" "pervasive" "private" "shows" "structure" "unchecked"
+    "where" "|"
   and "text" "txt" :: document_body
   and "text_raw" :: document_raw
   and "default_sort" :: thy_decl == ""
isabelle