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

Index - <

<+>Data.Logic.ATP
<==>Data.Logic.ATP.Prop, Data.Logic.ATP
<=>Data.Logic.ATP.Prop, Data.Logic.ATP
<>Data.Logic.ATP.Pretty, Data.Logic.ATP