src/HOL/Nitpick.thy
changeset 36176 3fe7e97ccca8
parent 35807 e4d1b5cbd429
child 36918 e65f8d253fd1
     1.1 --- a/src/HOL/Nitpick.thy	Fri Apr 16 20:56:40 2010 +0200
     1.2 +++ b/src/HOL/Nitpick.thy	Fri Apr 16 21:28:09 2010 +0200
     1.3 @@ -237,15 +237,15 @@
     1.4  
     1.5  setup {* Nitpick_Isar.setup *}
     1.6  
     1.7 -hide (open) const unknown is_unknown undefined_fast_The undefined_fast_Eps bisim 
     1.8 +hide_const (open) unknown is_unknown undefined_fast_The undefined_fast_Eps bisim 
     1.9      bisim_iterator_max Quot safe_The safe_Eps FinFun FunBox PairBox Word refl'
    1.10      wf' wf_wfrec wf_wfrec' wfrec' card' setsum' fold_graph' nat_gcd nat_lcm
    1.11      int_gcd int_lcm Frac Abs_Frac Rep_Frac zero_frac one_frac num denom
    1.12      norm_frac frac plus_frac times_frac uminus_frac number_of_frac inverse_frac
    1.13      less_eq_frac of_frac
    1.14 -hide (open) type bisim_iterator fin_fun fun_box pair_box unsigned_bit signed_bit
    1.15 +hide_type (open) bisim_iterator fin_fun fun_box pair_box unsigned_bit signed_bit
    1.16      word
    1.17 -hide (open) fact If_def Ex1_def rtrancl_def rtranclp_def tranclp_def refl'_def
    1.18 +hide_fact (open) If_def Ex1_def rtrancl_def rtranclp_def tranclp_def refl'_def
    1.19      wf'_def wf_wfrec'_def wfrec'_def card'_def setsum'_def fold_graph'_def
    1.20      The_psimp Eps_psimp unit_case_def nat_case_def list_size_simp nat_gcd_def
    1.21      nat_lcm_def int_gcd_def int_lcm_def Frac_def zero_frac_def one_frac_def