--- a/src/Tools/induct_tacs.ML Wed Oct 12 22:21:38 2011 +0200
+++ b/src/Tools/induct_tacs.ML Wed Oct 12 22:48:23 2011 +0200
@@ -13,7 +13,7 @@
val setup: theory -> theory
end
-structure InductTacs: INDUCT_TACS =
+structure Induct_Tacs: INDUCT_TACS =
struct
(* case analysis *)