src/HOL/Quickcheck_Narrowing.thy
changeset 43562 2c55eac2e5a9
parent 43542 7e2ef426c960
child 43702 24fb44c1086a
     1.1 --- a/src/HOL/Quickcheck_Narrowing.thy	Mon Jun 27 17:06:06 2011 +0200
     1.2 +++ b/src/HOL/Quickcheck_Narrowing.thy	Mon Jun 27 17:20:24 2011 +0200
     1.3 @@ -435,6 +435,7 @@
     1.4  hide_type code_int narrowing_type narrowing_term cons property
     1.5  hide_const int_of of_int nth error toEnum marker empty
     1.6    C cons conv nonEmpty "apply" sum ensure_testable all exists 
     1.7 +hide_const (open) Var Ctr
     1.8  hide_fact empty_def cons_def conv.simps nonEmpty.simps apply_def sum_def ensure_testable_def all_def exists_def
     1.9  
    1.10