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

Index - :

:!:Data.Logic.ATP.Quantified, Data.Logic.ATP
:&:Data.Logic.ATP.Prop, Data.Logic.ATP
:<=>:Data.Logic.ATP.Prop, Data.Logic.ATP
:=>:Data.Logic.ATP.Prop, Data.Logic.ATP
:?:Data.Logic.ATP.Quantified, Data.Logic.ATP
:|:Data.Logic.ATP.Prop, Data.Logic.ATP