src/HOL/ATP.thy
changeset 51575 907efc894051
parent 48891 c0eafbd55de3
child 53479 f7d8224641de
     1.1 --- a/src/HOL/ATP.thy	Thu Mar 28 22:42:18 2013 +0100
     1.2 +++ b/src/HOL/ATP.thy	Thu Mar 28 23:44:41 2013 +0100
     1.3 @@ -11,6 +11,7 @@
     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"