src/HOL/HOL.thy
changeset 52641 c56b6fa636e8
parent 52435 6646bb548c6b
child 52654 06653152ea8b
     1.1 --- a/src/HOL/HOL.thy	Sat Jul 13 00:24:05 2013 +0200
     1.2 +++ b/src/HOL/HOL.thy	Sat Jul 13 00:50:49 2013 +0200
     1.3 @@ -37,8 +37,6 @@
     1.4  
     1.5  setup {*
     1.6    Intuitionistic.method_setup @{binding iprover}
     1.7 -  #> Quickcheck.setup
     1.8 -  #> Solve_Direct.setup
     1.9    #> Subtyping.setup
    1.10    #> Case_Product.setup
    1.11  *}