src/HOL/Nitpick.thy
changeset 61681 ca53150406c9
parent 61121 efe8b18306b7
child 61799 4cf66f21b764
     1.1 --- a/src/HOL/Nitpick.thy	Sat Nov 14 18:37:49 2015 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Sun Nov 15 12:39:51 2015 +0100
     1.3 @@ -238,7 +238,7 @@
     1.4  hide_type (open) bisim_iterator fun_box pair_box unsigned_bit signed_bit word
     1.5  
     1.6  hide_fact (open) Ex1_unfold rtrancl_unfold rtranclp_unfold tranclp_unfold prod_def refl'_def wf'_def
     1.7 -  card'_def setsum'_def fold_graph'_def The_psimp Eps_psimp case_unit_unfold case_nat_unfold
     1.8 +  card'_def setsum'_def The_psimp Eps_psimp case_unit_unfold case_nat_unfold
     1.9    size_list_simp nat_lcm_def int_gcd_def int_lcm_def Frac_def zero_frac_def one_frac_def
    1.10    num_def denom_def frac_def plus_frac_def times_frac_def uminus_frac_def
    1.11    number_of_frac_def inverse_frac_def less_frac_def less_eq_frac_def of_frac_def wf_wfrec'_def