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/HOL/Tools/res_blacklist.ML
changeset 33316 6a72af4e84b8
parent 33308 cf62d1690d04
child 33519 e31a85f92ce9 
--- a/src/HOL/Tools/res_blacklist.ML	Thu Oct 29 16:34:44 2009 +0100
+++ b/src/HOL/Tools/res_blacklist.ML	Thu Oct 29 16:59:12 2009 +0100
@@ -16,7 +16,7 @@
   val del: attribute
 end;
 
-structure ResBlacklist: RES_BLACKLIST =
+structure Res_Blacklist: RES_BLACKLIST =
 struct
 
 structure Data = GenericDataFun
isabelle