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/MicroJava/BV/LBVSpec.thy
changeset 13365 a2c4faad4d35
parent 13101 90b31354fe15
child 15109 bba563cdd997 
--- a/src/HOL/MicroJava/BV/LBVSpec.thy	Tue Jul 16 18:25:48 2002 +0200
+++ b/src/HOL/MicroJava/BV/LBVSpec.thy	Tue Jul 16 18:26:09 2002 +0200
@@ -51,7 +51,7 @@
   "bottom r B \<equiv> \<forall>x. B <=_r x"
 
 
-locale lbv = semilat +
+locale (open) lbv = semilat +
   fixes T :: "'a" ("\<top>") 
   fixes B :: "'a" ("\<bottom>") 
   fixes step :: "'a step_type"
isabelle