src/HOL/Library/Executable_Set.thy
changeset 36176 3fe7e97ccca8
parent 34980 6676fd863e02
child 37023 efc202e1677e
     1.1 --- a/src/HOL/Library/Executable_Set.thy	Fri Apr 16 20:56:40 2010 +0200
     1.2 +++ b/src/HOL/Library/Executable_Set.thy	Fri Apr 16 21:28:09 2010 +0200
     1.3 @@ -265,7 +265,7 @@
     1.4    "Union (Coset []) = Coset []"
     1.5    unfolding Union_def Sup_sup by simp_all
     1.6  
     1.7 -hide (open) const is_empty empty remove
     1.8 +hide_const (open) is_empty empty remove
     1.9    set_eq subset_eq subset inter union subtract Inf Sup Inter Union
    1.10  
    1.11  end