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

Index - .

.&.Data.Logic.ATP.Prop, Data.Logic.ATP
.<=>.Data.Logic.ATP.Prop, Data.Logic.ATP
.=.Data.Logic.ATP.Equate, Data.Logic.ATP
.=>.Data.Logic.ATP.Prop, Data.Logic.ATP
.|.Data.Logic.ATP.Prop, Data.Logic.ATP
.~.Data.Logic.ATP.Lit, Data.Logic.ATP