src/Provers/classical.ML
changeset 30190 479806475f3c
parent 29267 8615b4f54047
child 30510 4120fc59dd85
     1.1 --- a/src/Provers/classical.ML	Sun Mar 01 16:48:06 2009 +0100
     1.2 +++ b/src/Provers/classical.ML	Sun Mar 01 23:36:12 2009 +0100
     1.3 @@ -223,7 +223,7 @@
     1.4      let fun addrl (rl,brls) = (false, rl) :: (true, rl RSN (2, Data.swap)) :: brls
     1.5      in  assume_tac      ORELSE'
     1.6          contr_tac       ORELSE'
     1.7 -        biresolve_tac (foldr addrl [] rls)
     1.8 +        biresolve_tac (List.foldr addrl [] rls)
     1.9      end;
    1.10  
    1.11  (*Duplication of hazardous rules, for complete provers*)