src/HOL/Nitpick.thy
changeset 61121 efe8b18306b7
parent 61076 bdc1e2f0a86a
child 61681 ca53150406c9
     1.1 --- a/src/HOL/Nitpick.thy	Sun Sep 06 19:09:20 2015 +0200
     1.2 +++ b/src/HOL/Nitpick.thy	Sun Sep 06 21:55:13 2015 +0200
     1.3 @@ -239,8 +239,8 @@
     1.4  
     1.5  hide_fact (open) Ex1_unfold rtrancl_unfold rtranclp_unfold tranclp_unfold prod_def refl'_def wf'_def
     1.6    card'_def setsum'_def fold_graph'_def The_psimp Eps_psimp case_unit_unfold case_nat_unfold
     1.7 -  size_list_simp nat_gcd_def nat_lcm_def int_gcd_def int_lcm_def Frac_def zero_frac_def one_frac_def
     1.8 -  num_def denom_def norm_frac_def frac_def plus_frac_def times_frac_def uminus_frac_def
     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
    1.12    wfrec'_def
    1.13