changeset 18413 | 50c0c118e96d |
parent 13653 | ef123b9e8089 |
--- a/src/HOL/Set.ML Thu Dec 15 18:13:40 2005 +0100 +++ b/src/HOL/Set.ML Thu Dec 15 19:42:00 2005 +0100 @@ -351,7 +351,6 @@ val set_diff_def = thm "set_diff_def"; val set_eq_subset = thm "set_eq_subset"; val set_ext = thm "set_ext"; -val setup_induction = thm "setup_induction"; val singletonD = thm "singletonD"; val singletonE = thm "singletonE"; val singletonI = thm "singletonI";