Index - O
| onallvaluations | Data.Logic.ATP.Prop, Data.Logic.ATP |
| onatoms | Data.Logic.ATP.Formulas, Data.Logic.ATP |
| onatomsLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
| onatomsPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
| onatomsQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| OneLineMode | Data.Logic.ATP |
| onformula | Data.Logic.ATP.Apply, Data.Logic.ATP |
| onterms | Data.Logic.ATP.Apply, Data.Logic.ATP |
| ontermsApply | Data.Logic.ATP.Apply, Data.Logic.ATP |
| ontermsEq | Data.Logic.ATP.Equate, Data.Logic.ATP |
| optimize | Data.Logic.ATP.Lib, Data.Logic.ATP |
| Or | |
| 1 (Data Constructor) | Data.Logic.ATP.Prop |
| 2 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| orOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
| orPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| overatoms | Data.Logic.ATP.Formulas, Data.Logic.ATP |
| overatomsLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
| overatomsPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
| overatomsQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| overterms | Data.Logic.ATP.Apply, Data.Logic.ATP |
| overtermsApply | Data.Logic.ATP.Apply, Data.Logic.ATP |
| overtermsEq | Data.Logic.ATP.Equate, Data.Logic.ATP |