--- 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