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