--- a/src/HOL/Typerep.thy Fri Apr 16 20:56:40 2010 +0200 +++ b/src/HOL/Typerep.thy Fri Apr 16 21:28:09 2010 +0200 @@ -90,6 +90,6 @@ code_reserved Eval Term -hide (open) const typerep Typerep +hide_const (open) typerep Typerep end