Index - U
| Unary | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| undefine | Data.Logic.ATP.Lib, Data.Logic.ATP |
| Unify | Data.Logic.ATP.Unif, Data.Logic.ATP |
| unify | Data.Logic.ATP.Unif, Data.Logic.ATP |
| unify' | Data.Logic.ATP.Unif, Data.Logic.ATP |
| unify_and_apply | Data.Logic.ATP.Unif, Data.Logic.ATP |
| unify_atoms | Data.Logic.ATP.Unif, Data.Logic.ATP |
| unify_atoms_eq | Data.Logic.ATP.Unif, Data.Logic.ATP |
| unify_literals | Data.Logic.ATP.Unif, Data.Logic.ATP |
| unify_terms | Data.Logic.ATP.Unif, Data.Logic.ATP |
| unJL | Data.Logic.ATP.LitWrapper |
| unsatisfiable | Data.Logic.ATP.Prop, Data.Logic.ATP |
| UTermOf | Data.Logic.ATP.Unif, Data.Logic.ATP, Data.Logic.ATP |