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