src/HOL/Nitpick_Examples/Manual_Nits.thy
changeset 35185 9b8f351cced6
parent 35180 c57dba973391
child 35284 9edc2bd6d2bd
     1.1 --- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Feb 17 11:20:09 2010 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Feb 17 12:14:08 2010 +0100
     1.3 @@ -266,7 +266,7 @@
     1.4  next
     1.5    case (Branch t u) thus ?case
     1.6    nitpick
     1.7 -  nitpick [non_std "'a bin_tree", show_consts]
     1.8 +  nitpick [non_std, show_all]
     1.9  oops
    1.10  
    1.11  lemma "labels (swap t a b) =