src/HOL/Rat.thy
changeset 41792 ff3cb0c418b7
parent 41231 2e901158675e
child 41920 d4fb7a418152
     1.1 --- a/src/HOL/Rat.thy	Mon Feb 21 10:42:29 2011 +0100
     1.2 +++ b/src/HOL/Rat.thy	Mon Feb 21 10:44:19 2011 +0100
     1.3 @@ -1199,7 +1199,7 @@
     1.4      (@{const_name field_char_0_class.Rats}, @{const_abbrev UNIV})]
     1.5  *}
     1.6  
     1.7 -lemmas [nitpick_def] = inverse_rat_inst.inverse_rat
     1.8 +lemmas [nitpick_unfold] = inverse_rat_inst.inverse_rat
     1.9    number_rat_inst.number_of_rat one_rat_inst.one_rat ord_rat_inst.less_rat
    1.10    ord_rat_inst.less_eq_rat plus_rat_inst.plus_rat times_rat_inst.times_rat
    1.11    uminus_rat_inst.uminus_rat zero_rat_inst.zero_rat