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

Index - J

JLData.Logic.ATP.LitWrapper
JustApplyData.Logic.ATP.Apply, Data.Logic.ATP
JustLiteralData.Logic.ATP.Lit, Data.Logic.ATP
JustPropositionalData.Logic.ATP.Prop, Data.Logic.ATP