Index - E
| elems | Twee.Index |
| eliminateDefinitions | Twee.Proof |
| eliminateDefinitionsFromGoal | Twee.Proof |
| Empty | Twee.Term, Twee.Base |
| empty | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index |
| 3 (Function) | Twee.Rule.Index |
| emptySample | Twee.Utils |
| emptySubst | Twee.Term, Twee.Base |
| emptyTriangleSubst | Twee.Term, Twee.Base |
| enqueue | Twee |
| eqn_lhs | Twee.Equation |
| eqn_rhs | Twee.Equation |
| equals | |
| 1 (Function) | Twee.Pretty, Twee.Base |
| 2 (Function) | Twee.Constraints |
| EqualsBonus | Twee.Base |
| Equation | Twee.Equation |
| equation | Twee.Proof |
| EquationOf | Twee.Equation |
| erase | Twee.Base |
| eraseExcept | Twee.Base |
| evalSubst | Twee.Term, Twee.Base |
| extend | Twee.Term, Twee.Base |
| extendList | Twee.Term, Twee.Base |