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.
etc/isar-keywords-HOL-Nominal.el
changeset 23992 bf352c4c499b
parent 23804 5801141870b1
child 24120 2ce3945228d8 
--- a/etc/isar-keywords-HOL-Nominal.el	Wed Jul 25 22:20:53 2007 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Wed Jul 25 22:20:54 2007 +0200
@@ -220,10 +220,8 @@
     "undos_proof"
     "unfolding"
     "update_thy"
-    "update_thy_only"
     "use"
     "use_thy"
-    "use_thy_only"
     "using"
     "value"
     "welcome"
@@ -355,10 +353,8 @@
     "touch_thy"
     "typ"
     "update_thy"
-    "update_thy_only"
     "use"
     "use_thy"
-    "use_thy_only"
     "value"
     "welcome"))
isabelle