src/HOL/TPTP/CASC_Setup.thy
changeset 46320 0b8b73b49848
parent 45969 562e99c3d316
child 46365 547d1a1dcaf6
     1.1 --- a/src/HOL/TPTP/CASC_Setup.thy	Mon Jan 23 17:40:31 2012 +0100
     1.2 +++ b/src/HOL/TPTP/CASC_Setup.thy	Mon Jan 23 17:40:32 2012 +0100
     1.3 @@ -129,7 +129,7 @@
     1.4                            Sledgehammer_Filter.no_relevance_override))
     1.5     ORELSE
     1.6     SOLVE_TIMEOUT (max_secs div 10) "metis"
     1.7 -       (ALLGOALS (Metis_Tactic.metis_tac [] ATP_Translate.lam_liftingN ctxt []))
     1.8 +       (ALLGOALS (Metis_Tactic.metis_tac [] ATP_Problem_Generate.lam_liftingN ctxt []))
     1.9     ORELSE
    1.10     SOLVE_TIMEOUT (max_secs div 10) "fast" (ALLGOALS (fast_tac ctxt))
    1.11     ORELSE