src/HOL/ATP.thy
changeset 43108 eb1e31eb7449
parent 43085 0a2f5b86bdd7
child 43678 56d352659500
     1.1 --- a/src/HOL/ATP.thy	Tue May 31 16:38:36 2011 +0200
     1.2 +++ b/src/HOL/ATP.thy	Tue May 31 16:38:36 2011 +0200
     1.3 @@ -7,7 +7,8 @@
     1.4  
     1.5  theory ATP
     1.6  imports Meson
     1.7 -uses "Tools/ATP/atp_util.ML"
     1.8 +uses "Tools/monomorph.ML"
     1.9 +     "Tools/ATP/atp_util.ML"
    1.10       "Tools/ATP/atp_problem.ML"
    1.11       "Tools/ATP/atp_proof.ML"
    1.12       "Tools/ATP/atp_systems.ML"