hiding enum
authorbulwahn
Mon Nov 22 11:35:11 2010 +0100 (2010-11-22)
changeset 40659b26afaa55a75
parent 40658 5ccfc3ee7fe6
child 40660 86a1f61d260e
hiding enum
src/HOL/Enum.thy
     1.1 --- a/src/HOL/Enum.thy	Mon Nov 22 11:35:09 2010 +0100
     1.2 +++ b/src/HOL/Enum.thy	Mon Nov 22 11:35:11 2010 +0100
     1.3 @@ -453,6 +453,6 @@
     1.4  
     1.5  
     1.6  hide_type finite_1 finite_2 finite_3 finite_4 finite_5
     1.7 -hide_const (open) n_lists product
     1.8 +hide_const (open) enum n_lists product
     1.9  
    1.10  end