src/HOL/HOL.thy
changeset 49339 d1fcb4de8349
parent 48891 c0eafbd55de3
child 50360 628b37b9e8a2
     1.1 --- a/src/HOL/HOL.thy	Wed Sep 12 17:26:05 2012 +0200
     1.2 +++ b/src/HOL/HOL.thy	Wed Sep 12 22:00:29 2012 +0200
     1.3 @@ -18,7 +18,6 @@
     1.4  ML_file "~~/src/Tools/solve_direct.ML"
     1.5  ML_file "~~/src/Tools/IsaPlanner/zipper.ML"
     1.6  ML_file "~~/src/Tools/IsaPlanner/isand.ML"
     1.7 -ML_file "~~/src/Tools/IsaPlanner/rw_tools.ML"
     1.8  ML_file "~~/src/Tools/IsaPlanner/rw_inst.ML"
     1.9  ML_file "~~/src/Provers/hypsubst.ML"
    1.10  ML_file "~~/src/Provers/splitter.ML"