src/HOL/ATP.thy
changeset 53479 f7d8224641de
parent 51575 907efc894051
child 54148 c8cc5ab4a863
     1.1 --- a/src/HOL/ATP.thy	Mon Sep 09 15:22:04 2013 +0200
     1.2 +++ b/src/HOL/ATP.thy	Mon Sep 09 15:22:04 2013 +0200
     1.3 @@ -11,7 +11,6 @@
     1.4  
     1.5  ML_file "Tools/lambda_lifting.ML"
     1.6  ML_file "Tools/monomorph.ML"
     1.7 -ML_file "Tools/legacy_monomorph.ML"
     1.8  ML_file "Tools/ATP/atp_util.ML"
     1.9  ML_file "Tools/ATP/atp_problem.ML"
    1.10  ML_file "Tools/ATP/atp_proof.ML"