Index - A
| Action | App.Model |
| AddrKind | |
| 1 (Type/Class) | ProofSyntax |
| 2 (Data Constructor) | ProofSyntax |
| afterConclusionKind | ProofSyntax |
| allCombinations | Util |
| AllVars | Fitch.Unification |
| allVars | Fitch.Unification |
| anyInsideKind | ProofSyntax |
| anyKind | ProofSyntax |
| arbitraryLineRangeFor | ProofSyntax |
| arbitraryNodeAddrFor | ProofSyntax |
| arbitraryProofAddrFor | ProofSyntax |
| assertInvalid | FOLTest |
| assertValid | FOLTest |
| Assumption | Fitch.Proof |
| assumption | ProofSyntax |
| assumptionKind | ProofSyntax |
| assumptionMatchesSpec | Fitch.Unification |
| AssumptionSpec | |
| 1 (Type/Class) | Specification.Types |
| 2 (Data Constructor) | Specification.Types |