Index - P
| Paired | Language.ATS |
| ParenExpr | Language.ATS |
| ParenType | Language.ATS |
| parse | Language.ATS |
| Pattern | Language.ATS |
| Plain | Language.ATS |
| PLiteral | Language.ATS |
| Plus | Language.ATS |
| PName | Language.ATS |
| Post | Language.ATS |
| Praxi | Language.ATS |
| Pre | Language.ATS |
| Precede | Language.ATS |
| PrecedeList | Language.ATS |
| PreF | Language.ATS |
| PreFunction | Language.ATS |
| PrfArg | Language.ATS |
| PrFn | Language.ATS |
| PrFun | Language.ATS |
| printATS | Language.ATS |
| printATSCustom | Language.ATS |
| printATSFast | Language.ATS |
| printErr | Language.ATS |
| Proof | Language.ATS |
| ProofExpr | Language.ATS |
| ProofImpl | Language.ATS |
| ProofType | Language.ATS |
| PropDef | Language.ATS |
| PrVal | Language.ATS |
| PSum | Language.ATS |