src/HOL/ATP.thy
changeset 45877 b18f62e40429
parent 45522 3b951bbd2bee
child 46320 0b8b73b49848
     1.1 --- a/src/HOL/ATP.thy	Wed Dec 14 18:07:32 2011 +0100
     1.2 +++ b/src/HOL/ATP.thy	Wed Dec 14 18:07:32 2011 +0100
     1.3 @@ -12,6 +12,7 @@
     1.4       "Tools/ATP/atp_util.ML"
     1.5       "Tools/ATP/atp_problem.ML"
     1.6       "Tools/ATP/atp_proof.ML"
     1.7 +     "Tools/ATP/atp_redirect.ML"
     1.8       ("Tools/ATP/atp_translate.ML")
     1.9       ("Tools/ATP/atp_reconstruct.ML")
    1.10       ("Tools/ATP/atp_systems.ML")