Index
| appendVarName | Folly.Formula |
| applyToTerms | Folly.Formula |
| applyUnifier | Folly.Unification |
| bic | Folly.Formula |
| Clause | Folly.Formula |
| con | Folly.Formula |
| conclusion | Folly.Theorem |
| constant | Folly.Formula |
| dis | Folly.Formula |
| Error | Folly.Utils |
| extractValue | Folly.Utils |
| f | Folly.Formula |
| fa | Folly.Formula |
| Failed | Folly.Utils |
| Formula | Folly.Formula |
| freeVars | Folly.Formula |
| func | Folly.Formula |
| funcArgs | Folly.Formula |
| funcName | Folly.Formula |
| fvt | Folly.Formula |
| generalize | Folly.Formula |
| hypothesis | Folly.Theorem |
| imp | Folly.Formula |
| isConst | Folly.Formula |
| isFunc | Folly.Formula |
| isTautology | Folly.Formula |
| isValid | Folly.Resolution |
| isVar | Folly.Formula |
| literalArgs | Folly.Formula |
| matchingLiterals | Folly.Formula |
| mostGeneralUnifier | Folly.Unification |
| Name | Folly.Utils |
| neg | Folly.Formula |
| pr | Folly.Formula |
| skf | Folly.Formula |
| subFormula | Folly.Formula |
| subTerm | Folly.Formula |
| Succeeded | Folly.Utils |
| t | Folly.Formula |
| te | Folly.Formula |
| Term | Folly.Formula |
| Theorem | Folly.Theorem |
| theorem | Folly.Theorem |
| toClausalForm | Folly.Formula |
| toPNF | Folly.Formula |
| toSkolemForm | Folly.Formula |
| unifier | Folly.Unification |
| var | Folly.Formula |
| vars | Folly.Formula |