src/HOL/ATP.thy
changeset 57707 0242e9578828
parent 57263 2b6a96cc64c9
child 57709 9cda0c64c37a
     1.1 --- a/src/HOL/ATP.thy	Wed Jul 30 14:03:12 2014 +0200
     1.2 +++ b/src/HOL/ATP.thy	Wed Jul 30 14:03:12 2014 +0200
     1.3 @@ -15,6 +15,8 @@
     1.4  ML_file "Tools/ATP/atp_problem.ML"
     1.5  ML_file "Tools/ATP/atp_proof.ML"
     1.6  ML_file "Tools/ATP/atp_proof_redirect.ML"
     1.7 +ML_file "Tools/ATP/atp_satallax.ML"
     1.8 +
     1.9  
    1.10  subsection {* Higher-order reasoning helpers *}
    1.11