src/HOL/Product_Type.thy
changeset 35365 2fcd08c62495
parent 35364 b8c62d60195c
child 35427 ad039d29e01c
--- a/src/HOL/Product_Type.thy	Thu Feb 25 22:32:09 2010 +0100
+++ b/src/HOL/Product_Type.thy	Thu Feb 25 22:46:52 2010 +0100
@@ -635,7 +635,7 @@
   by (simp only: internal_split_def split_conv)
 
 use "Tools/split_rule.ML"
-setup SplitRule.setup
+setup Split_Rule.setup
 
 hide const internal_split