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 59901 840d03805755
parent 58999 ed09ae4ea2d8
child 59923 b21c82422d65 
--- a/src/Pure/Pure.thy	Wed Apr 01 21:12:05 2015 +0200
+++ b/src/Pure/Pure.thy	Wed Apr 01 22:08:06 2015 +0200
@@ -33,7 +33,7 @@
   and "bundle" :: thy_decl
   and "include" "including" :: prf_decl
   and "print_bundles" :: diag
-  and "context" "locale" :: thy_decl_block
+  and "context" "locale" "experiment" :: thy_decl_block
   and "sublocale" "interpretation" :: thy_goal
   and "interpret" :: prf_goal % "proof"
   and "class" :: thy_decl_block
isabelle