Index - P
| paCanMoveBefore | Fitch.Proof |
| paContainedIn | Fitch.Proof |
| paContaining | Fitch.Proof |
| paFromNA | Fitch.Proof |
| paInSameProof | Fitch.Proof |
| paInsertBefore | Fitch.Proof |
| paInsertBeforeRaw | Fitch.Proof |
| paLookup | Fitch.Proof |
| paMoveBefore | Fitch.Proof |
| paMoveBeforeQCTests | ProofSyntax |
| paMoveBeforeRaw | Fitch.Proof |
| PANested | Fitch.Proof |
| PAProof | Fitch.Proof |
| paProofToNested | Fitch.Proof |
| paRemove | Fitch.Proof |
| paRemoveRaw | Fitch.Proof |
| parens | Parser.Util |
| parseAssumption | Parser.Formula |
| ParsedInvalid | Fitch.Proof |
| ParsedValid | Fitch.Proof |
| parseFormula | Parser.Formula |
| parseIncompleteProof | Parser.IncompleteProof |
| parseLine | Parser.Proof |
| parseProof | Parser.Proof |
| Parser | Parser.Util |
| parseRuleApplication | Parser.Rule |
| paSameOrNext | Fitch.Proof |
| pAssumption | Parser.Proof |
| pathsInDir | FOLTest |
| pCollectFreshnessNodes | Fitch.Proof |
| pConstant | Parser.Formula |
| pDerivation | Parser.Proof |
| pFoldLines | Fitch.Proof |
| pFoldLinesM | Fitch.Proof |
| pFormula | Parser.Proof |
| pFormulaAtomic | Parser.Formula |
| pFormulaSep | Parser.Proof |
| pFreshVariable | Parser.Formula |
| pFun | Parser.Formula |
| pIncompleteAssumption | Parser.IncompleteProof |
| pIncompleteDerivation | Parser.IncompleteProof |
| pIncompleteProof | Parser.IncompleteProof |
| pIndex | Fitch.Proof |
| pIndexProof | Fitch.Proof |
| pInfixPred | Parser.Formula |
| pInfixPredName | Parser.Formula |
| pLength | Fitch.Proof |
| pLine | Parser.Rule |
| pLowerName | Parser.Util |
| pMapLines | Fitch.Proof |
| pMapLinesAccumL | Fitch.Proof |
| pMapLinesM | Fitch.Proof |
| pMapLinesMAccumL | Fitch.Proof |
| pMapLinesWithAddr | Fitch.Proof |
| pMapLinesWithLineNo | Fitch.Proof |
| pMapRefs | Fitch.Proof |
| PopState | App.Model |
| Pos | App.Model |
| pPredicate | Parser.Formula |
| pProof | Parser.Proof |
| pQuantifier | Parser.Formula |
| pQuantifierName | Parser.Formula |
| pRawAssumption | Parser.Formula |
| pRawFormula | Parser.Formula |
| Pred | Fitch.Proof |
| predicateSymbols | App.Model |
| pReference | Parser.Rule |
| prefix | Parser.Util |
| PrettyPrint | Fitch.Proof |
| prettyPrint | Fitch.Proof |
| PrettyProof | |
| 1 (Type/Class) | ProofSyntax |
| 2 (Data Constructor) | ProofSyntax |
| ProcessInput | App.Model |
| Proof | Fitch.Proof |
| proof | App.Model |
| ProofAddr | Fitch.Proof |
| proofErrors | Fitch.Proof |
| proofPreviewTex | Fitch.Proof |
| ProofReference | Fitch.Proof |
| proofReparse | App.Update |
| ProofSpec | Specification.Types |
| proofTests | ProofSyntax |
| Prop | App.Model |
| prop_compareLineNo | ProofSyntax |
| prop_fromLineNoInverse | ProofSyntax |
| prop_fromLineRangeInverse | ProofSyntax |
| prop_fromNodeAddrInverse | ProofSyntax |
| prop_lineRangeFromProofAddrInverse | ProofSyntax |
| prop_naInsertBeforeAssumptionPlus1 | ProofSyntax |
| prop_naInsertBeforeDerivationPlus1 | ProofSyntax |
| prop_naInsertBeforeNaLookupAssumption | ProofSyntax |
| prop_naInsertBeforeNaLookupDerivation | ProofSyntax |
| prop_naInsertBeforeRemove | ProofSyntax |
| prop_naRemoveMinus1 | ProofSyntax |
| prop_naRemoveShiftAssumption | ProofSyntax |
| prop_naRemoveShiftLine | ProofSyntax |
| prop_paMoveBeforeRawSameProof | ProofSyntax |
| pRule | Parser.Rule |
| pSerialize | Fitch.Proof |
| pSerializeLines | Fitch.Proof |
| pSerializeLinesWithAddr | Fitch.Proof |
| pSymbolicName | Parser.Util |
| pTerm | Parser.Formula |
| pText | Parser.Util |
| pUpperName | Parser.Util |
| pushProofURI | App.Update |
| pVar | Parser.Formula |