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

Index - B

BinOpData.Logic.ATP.Prop, Data.Logic.ATP
binopData.Logic.ATP.Prop, Data.Logic.ATP
boolPrecData.Logic.ATP.Pretty, Data.Logic.ATP
bool_interpData.Logic.ATP.FOL, Data.Logic.ATP
bracesData.Logic.ATP
bracketsData.Logic.ATP.Pretty, Data.Logic.ATP