src/HOL/Enum.thy
changeset 40659 b26afaa55a75
parent 40657 58a6ba7ccfc5
child 40683 a3f37b3d303a
--- a/src/HOL/Enum.thy	Mon Nov 22 11:35:09 2010 +0100
+++ b/src/HOL/Enum.thy	Mon Nov 22 11:35:11 2010 +0100
@@ -453,6 +453,6 @@
 
 
 hide_type finite_1 finite_2 finite_3 finite_4 finite_5
-hide_const (open) n_lists product
+hide_const (open) enum n_lists product
 
 end