atp-haskell-1.14.3: 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