1.1 --- a/src/HOL/Quickcheck_Narrowing.thy	Thu Jun 09 08:32:18 2011 +0200
     1.2 +++ b/src/HOL/Quickcheck_Narrowing.thy	Thu Jun 09 08:32:19 2011 +0200
     1.3 @@ -533,5 +533,6 @@
     1.4  hide_type (open) code_int narrowing_type narrowing_term cons
     1.5  hide_const (open) int_of of_int nth error toEnum map_index split_At empty
     1.6    C cons conv nonEmpty "apply" sum cons1 cons2 ensure_testable all exists
     1.7 +hide_fact empty_def
     1.8  
     1.9  end
    1.10 \ No newline at end of file