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 52143 36ffe23b25f8
parent 52060 179236c82c2a
child 52430 289e36c2870a 
--- a/src/Pure/Pure.thy	Sat May 25 15:00:53 2013 +0200
+++ b/src/Pure/Pure.thy	Sat May 25 15:37:53 2013 +0200
@@ -8,7 +8,7 @@
   keywords
     "!!" "!" "%" "(" ")" "+" "," "--" ":" "::" ";" "<" "<=" "=" "=="
     "=>" "?" "[" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>"
-    "\<rightleftharpoons>" "\<subseteq>" "]" "advanced" "and" "assumes"
+    "\<rightleftharpoons>" "\<subseteq>" "]" "and" "assumes"
     "attach" "begin" "binder" "constrains" "defines" "fixes" "for"
     "identifier" "if" "imports" "in" "includes" "infix" "infixl"
     "infixr" "is" "keywords" "notes" "obtains" "open" "output"
isabelle