atp-haskell-1.10: Translation from Ocaml to Haskell of John Harrison's ATP code

Index - |

|->Data.Logic.ATP.Lib, Data.Logic.ATP
|=>Data.Logic.ATP.Lib, Data.Logic.ATP