src/HOL/HOL.thy
changeset 33316 6a72af4e84b8
parent 33308 cf62d1690d04
child 33364 2bd12592c5e8
     1.1 --- a/src/HOL/HOL.thy	Thu Oct 29 16:34:44 2009 +0100
     1.2 +++ b/src/HOL/HOL.thy	Thu Oct 29 16:59:12 2009 +0100
     1.3 @@ -35,7 +35,8 @@
     1.4  begin
     1.5  
     1.6  setup {* Intuitionistic.method_setup @{binding iprover} *}
     1.7 -setup ResBlacklist.setup
     1.8 +
     1.9 +setup Res_Blacklist.setup
    1.10  
    1.11  
    1.12  subsection {* Primitive logic *}