Index - B
| BinOp | Data.Logic.ATP.Prop, Data.Logic.ATP |
| binop | Data.Logic.ATP.Prop, Data.Logic.ATP |
| boolPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| bool_interp | Data.Logic.ATP.FOL, Data.Logic.ATP |
| braces | Data.Logic.ATP |
| brackets | Data.Logic.ATP.Pretty, Data.Logic.ATP |