author | haftmann |
Wed, 23 Sep 2009 16:32:53 +0200 | |
changeset 32702 | 457135bdd596 |
parent 32701 | 5059a733a4b8 |
child 32703 | 7f9e05b3d0fb |
--- a/src/HOL/Library/Executable_Set.thy Wed Sep 23 14:00:43 2009 +0200 +++ b/src/HOL/Library/Executable_Set.thy Wed Sep 23 16:32:53 2009 +0200 @@ -100,6 +100,6 @@ card ("{*Fset.card*}") fold ("{*foldl o flip*}") -hide (open) const subset eq_set Inter Union flip +hide (open) const empty inter union subset eq_set Inter Union flip end \ No newline at end of file