src/HOL/Refute.thy
changeset 14771 c2bf21b5564e
parent 14589 feae7b5fd425
child 14808 1bf198c9828f
     1.1 --- a/src/HOL/Refute.thy	Fri May 21 21:16:51 2004 +0200
     1.2 +++ b/src/HOL/Refute.thy	Fri May 21 21:17:37 2004 +0200
     1.3 @@ -15,11 +15,6 @@
     1.4        "Tools/refute.ML"
     1.5        "Tools/refute_isar.ML":
     1.6  
     1.7 -use "Tools/prop_logic.ML"
     1.8 -use "Tools/sat_solver.ML"
     1.9 -use "Tools/refute.ML"
    1.10 -use "Tools/refute_isar.ML"
    1.11 -
    1.12  setup Refute.setup
    1.13  
    1.14  text {*