Index - P
| p | FreeCAD.As |
| PA | GUI.HTkUtils |
| Pa | GUI.HTkUtils |
| pack | GUI.HTkUtils |
| PackOption | GUI.HTkUtils |
| pADLid | Adl.Parse |
| PadX | GUI.HTkUtils |
| PadY | GUI.HTkUtils |
| pageAnchor | GUI.HTkUtils |
| pageheight | GUI.HTkUtils |
| PageMode | Common.Lib.Pretty |
| Pages | GUI.HTkUtils |
| pagewidth | GUI.HTkUtils |
| pagex | GUI.HTkUtils |
| pagey | GUI.HTkUtils |
| Pair | |
| 1 (Type/Class) | Adl.As |
| 2 (Data Constructor) | Adl.As |
| pair | Common.Parsec |
| pairC | Isabelle.IsaConsts |
| pairElems | Common.DocUtils |
| pairEncodeCD | OMDoc.XmlInterface |
| pairPT | Isabelle.IsaConsts |
| pairSimpleSources | GUI.UDGUtils |
| pairSymbols | OWL2.AS |
| pairWithError | GUI.HTkUtils |
| pair_symbols | Logic.Logic |
| Pane | GUI.HTkUtils |
| PanedWindow | GUI.HTkUtils |
| pAppS | Isabelle.IsaConsts |
| Par | |
| 1 (Data Constructor) | CspCASL.Print_CspCASL |
| 2 (Type/Class) | TIP.AbsTIP |
| 3 (Data Constructor) | TIP.AbsTIP |
| 4 (Data Constructor) | TopHybrid.AS_TopHybrid |
| param | VSE.Parse |
| Parameter | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Data Constructor) | Maude.AS_Maude |
| parameterize | Persistence.Utils |
| parameters | |
| 1 (Function) | QVTR.Sign |
| 2 (Function) | Persistence.Reasoning.PremiseSelectionSInE |
| parametricS | CASL.CompositionTable.Keywords |
| ParamId | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Data Constructor) | Maude.AS_Maude |
| Paramkind | VSE.As |
| PARAMS | Syntax.AS_Library |
| Params | Syntax.AS_Library |
| params | QVTR.As |
| paramToSExpr | VSE.ToSExpr |
| parbalanced | Maude.Parse |
| pArchitecture | Adl.Parse |
| Paren | QVTR.As |
| paren | Common.XPath |
| parenExpr | Common.XPath |
| parenExtForm | ExtModal.StatAna |
| parenFormula | CSL.Parse_AS_Basic |
| parenId | Common.Earley |
| parenList | CspCASL.Parse_CspCASL_Process |
| parenPrec | HasCASL.PrintAs |
| Parens | HasCASL.As |
| parens | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Lexer |
| 3 (Function) | Common.Doc |
| 4 (Function) | CommonLogic.Lexer_CLIF |
| 5 (Function) | CommonLogic.Lexer_KIF |
| 6 (Function) | CspCASL.Parse_CspCASL_Process |
| parensent | CommonLogic.Parse_KIF |
| parensP | |
| 1 (Function) | LF.MorphParser |
| 2 (Function) | OWL2.ParseAS |
| 3 (Function) | OWL2.ParseMS |
| 4 (Function) | OWL2.Parse |
| Parent | |
| 1 (Data Constructor) | Common.XPath |
| 2 (Type/Class) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaExport |
| parenTerm | HasCASL.PrintAs |
| parenTermDoc | HasCASL.PrintAs |
| parenTermRec | HasCASL.PrintAs |
| parenth | TIP.PrintTIP |
| ParentInfo | THF.As |
| parentList | SoftFOL.Sign |
| parentName | Isabelle.IsaExport |
| parenTypeArg | HasCASL.ParseTerm |
| Parent_details | TPTP.AS |
| Parent_info | |
| 1 (Type/Class) | TPTP.AS |
| 2 (Data Constructor) | TPTP.AS |
| Parent_list | TPTP.AS |
| ParmProcname | CspCASL.AS_CspCASL |
| PARM_PROCNAME | CspCASL.AS_CspCASL |
| parPrintTPTP | SoftFOL.PrintTPTP |
| parse | Maude.Language |
| parse1Context | LF.MorphParser |
| parse1Map | LF.MorphParser |
| parseAnno | Common.AnnoParser |
| parseAnnoId | Common.AnnoParser |
| parseAnnos | Common.AnnoState |
| parseAnnotation | OWL2.ParseAS |
| parseAnnotationAssertion | OWL2.ParseAS |
| parseAnnotationAssertions | OWL2.ParseMS |
| parseAnnotationAxiom | OWL2.ParseAS |
| parseAnnotationPropertyDomain | OWL2.ParseAS |
| parseAnnotationPropertyRange | OWL2.ParseAS |
| parseAnnotations | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | Static.XGraph |
| parseAnnotationSubject | OWL2.ParseAS |
| parseAnnotationValue | OWL2.ParseAS |
| parseAnonymousIndividual | OWL2.ParseAS |
| parseArgument | CMDL.ParseProofScript |
| parseAssertion | OWL2.ParseAS |
| parseAtom | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseAx | CommonLogic.Parse_CLIF |
| parseAxiom | OWL2.ParseAS |
| parseAxItems | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | CommonLogic.Parse_CLIF |
| parseBase | RDF.Parse |
| parseBasicItems | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | CommonLogic.Parse_CLIF |
| parseBasicSpec | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | TPTP.Parser |
| parseBody | OWL2.ParseAS |
| parseBool | CASL.Sublogic |
| parseBoolAttribute | CSMOF.Parser |
| parseBracedRelationIds | CASL.CompositionTable.ParseSparQ |
| parseBrepXML | FreeCAD.Brep |
| parseBrepXML2 | FreeCAD.Brep |
| parseBuiltInAtom | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseCalculusName | CASL.CompositionTable.ParseSparQ |
| parseCardinality' | OWL2.ParseAS |
| parseClassAssertion | OWL2.ParseAS |
| parseClassAtom | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseClassAxiom | OWL2.ParseAS |
| parseClassExprAtom | OWL2.ParseMS |
| parseClassExpression | OWL2.ParseAS |
| parseClassId | HasCASL.ParseTerm |
| parseClText | CommonLogic.Parse_CLIF |
| parseCL_CLIF | CommonLogic.ParseCLAsLibDefn |
| parseCo | CoCASL.Logic_CoCASL |
| parseCommand | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | CMDL.ParseProofScript |
| parseComment | RDF.Parse |
| parseComptabentry | CASL.CompositionTable.ParseSparQ |
| parseComptabentryList | CASL.CompositionTable.ParseSparQ |
| parseComptabentryResults | CASL.CompositionTable.ParseSparQ |
| parseCompTable | CASL.CompositionTable.ParseSparQ |
| parseContabentry | CASL.CompositionTable.ParseSparQ |
| parseContabentryList | CASL.CompositionTable.ParseSparQ |
| parseContabentryTernary | CASL.CompositionTable.ParseSparQ |
| parseConverse | CASL.CompositionTable.ParseSparQ |
| parseConversetable | CASL.CompositionTable.ParseSparQ |
| parseCOPA | OWL2.ParseAS |
| parseCorrespondences | Syntax.Parse_AS_Structured |
| parseCSMOF | CSMOF.Parser |
| parseCSMOFXmi | CSMOF.ParseXmiAsLibDefn |
| parseCspId | CspCASL.Parse_CspCASL_Process |
| parseCurie | Common.IRI |
| parseDArg | OWL2.ParseMS |
| parseDataAllValuesFrom | OWL2.ParseAS |
| parseDataArg | OWL2.ParseAS |
| parseDatabaseConfig | Persistence.DBConfig |
| parseDataCardinality | OWL2.ParseAS |
| parseDataComplementOf | OWL2.ParseAS |
| parseDataHasValue | OWL2.ParseAS |
| parseDataJunction | OWL2.ParseAS |
| parseDataJunction' | OWL2.ParseAS |
| parseDataOneOf | OWL2.ParseAS |
| parseDataPropertyAssertion | OWL2.ParseAS |
| parseDataPropertyAtom | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseDataPropertyAxiom | OWL2.ParseAS |
| parseDataPropertyDomain | OWL2.ParseAS |
| parseDataPropertyRange | OWL2.ParseAS |
| parseDataRange | OWL2.ParseAS |
| parseDataRangeAtom | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseDataSomeValuesFrom | OWL2.ParseAS |
| parseDatatype | CASL.SortItem |
| parseDataTypeDefinition | OWL2.ParseAS |
| parseDatatypeFrame | OWL2.ParseMS |
| parseDatatypeResComponent | OWL2.ParseAS |
| parseDatatypeRestriction | OWL2.ParseAS |
| parseDeclaration | OWL2.ParseAS |
| parseDef | LF.MorphParser |
| parseDGAtom | OWL2.ParseAS |
| parseDGAxiom | OWL2.ParseAS |
| parseDGBody | OWL2.ParseAS |
| parseDGClassAtom | OWL2.ParseAS |
| parseDGEdes | OWL2.ParseAS |
| parseDGEdgeAssertion | OWL2.ParseAS |
| parseDGHead | OWL2.ParseAS |
| parseDGNodeAssertion | OWL2.ParseAS |
| parseDGNodes | OWL2.ParseAS |
| parseDGObjectPropertyAtom | OWL2.ParseAS |
| parseDGRule | OWL2.ParseAS |
| parseDifferentIndividuals | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseDifferentIndividualsAtom | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseDirectlyImportsDocument | OWL2.ParseAS |
| parseDisjointClasses | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseDisjointDataProperties | OWL2.ParseAS |
| parseDisjointObjectProperties | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseDisjointUnion | OWL2.ParseAS |
| parseDLSafeRule | OWL2.ParseAS |
| parseDomain | CSL.Parse_AS_Basic |
| parseElements | CSMOF.Parser |
| parseElementSuperClass | CSMOF.Parser |
| parseEnclosedWithKeyword | OWL2.ParseAS |
| parseEntity | OWL2.ParseAS |
| parseEntity' | OWL2.ParseAS |
| parseEPDecl | CSL.Parse_AS_Basic |
| parseEPDefValOrDomDecl | CSL.Parse_AS_Basic |
| parseEPDomain | CSL.Parse_AS_Basic |
| parseEPVal | CSL.Parse_AS_Basic |
| parseEquivalentClasses | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseEquivalentDataProperties | OWL2.ParseAS |
| parseEquivalentObjectProperties | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseError | CSL.Parse_AS_Basic |
| parseExp | LF.MorphParser |
| parseExpr | Common.XPath |
| parseExpression | CSL.Parse_AS_Basic |
| parseExtKind | HasCASL.ParseTerm |
| parseFacetValuePairs | OWL2.ParseMS |
| parseFrame | OWL2.ParseMS |
| parseFromFile | Maude.Language |
| parseFunctionalDataProperty | OWL2.ParseAS |
| parseHasKey | OWL2.ParseAS |
| parseHead | OWL2.ParseAS |
| parseHidden | Static.FromXml |
| parseHoming | CASL.CompositionTable.ParseSparQ |
| parseIArg | OWL2.ParseMS |
| parseId | Common.Token |
| parseIdBaOth | CASL.CompositionTable.ParseSparQ |
| parseIdBaOths | CASL.CompositionTable.ParseSparQ |
| parseIndividual | OWL2.ParseAS |
| parseIndividualArg | OWL2.ParseAS |
| parseIntegerAttribute | CSMOF.Parser |
| parseInverse | CASL.CompositionTable.ParseSparQ |
| parseInverseObjectProperties | OWL2.ParseAS |
| parseInverseObjectProperty | OWL2.ParseAS |
| parseIRI | |
| 1 (Function) | Common.IRI |
| 2 (Function) | OWL2.ParseAS |
| parseIRICompoundCurie | Common.IRI |
| parseIRICurie | Common.IRI |
| parseIRIReference | Common.IRI |
| parseItemsList | Syntax.Parse_AS_Structured |
| parseItemsMap | Syntax.Parse_AS_Structured |
| parseJson | PGIP.Shared |
| parseLanguageTag | OWL2.ParseAS |
| parseLine | CMDL.ParseProofScript |
| parseLineAnnos | Common.AnnoState |
| parseLinks | CSMOF.Parser |
| parseList | VSE.Prove |
| parseLiteral | OWL2.ParseAS |
| parseMainClasses | OWL2.ParseAS |
| parseMap | LF.MorphParser |
| parseMapping | Syntax.Parse_AS_Structured |
| parseMathServOut | SoftFOL.MathServParsing |
| parseModels | CSMOF.Parser |
| parseMorphism | LF.MorphParser |
| parseMorphType | LF.MorphParser |
| parseMsg | PGIP.XMLstate |
| parseNegativeDataPropertyAssertion | OWL2.ParseAS |
| parseNegativeObjectPropertyAssertion | OWL2.ParseAS |
| parseNetwork | Syntax.Parse_AS_Structured |
| parseNodeName | Static.DgUtils |
| parseNoVariable | OWL2.ParseMS |
| parseObject | RDF.Parse |
| parseObjectAllValuesFrom | OWL2.ParseAS |
| parseObjectCardinality | OWL2.ParseAS |
| parseObjectComplementOf | OWL2.ParseAS |
| parseObjectHasSelf | OWL2.ParseAS |
| parseObjectHasValue | OWL2.ParseAS |
| parseObjectIntersectionOf | OWL2.ParseAS |
| parseObjectOneOf | OWL2.ParseAS |
| parseObjectProperty | OWL2.ParseAS |
| parseObjectPropertyAssertion | OWL2.ParseAS |
| parseObjectPropertyAtom | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseObjectPropertyAxiom | OWL2.ParseAS |
| parseObjectPropertyDomain | OWL2.ParseAS |
| parseObjectPropertyExpression | OWL2.ParseAS |
| parseObjectPropertyExpressionChain | OWL2.ParseAS |
| parseObjectPropertyRange | OWL2.ParseAS |
| parseObjects | CSMOF.Parser |
| parseObjectSomeValuesFrom | OWL2.ParseAS |
| parseObjectUnionOf | OWL2.ParseAS |
| parseOntology | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseOntologyDocument | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseOpDecl | CSL.Parse_AS_Basic |
| parseOutput | TPTP.Prover.SPASS.ProofParser |
| parseOWL | OWL2.ParseOWL |
| parseOWLAsLibDefn | OWL2.ParseOWLAsLibDefn |
| parsePolyId | HasCASL.ParseTerm |
| parsePredicate | RDF.Parse |
| parsePredObjects | RDF.Parse |
| parsePredObjList | RDF.Parse |
| parsePredSymb | CASL_DL.Parse_AS |
| parsePrefix | RDF.Parse |
| parsePrefixDeclaration | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseProperties | OWL2.ParseMS |
| parsePropertyOpposite | CSMOF.Parser |
| parsePropertyType | CSMOF.Parser |
| parseQualifierBrace | CASL.CompositionTable.ParseSparQ |
| parseQvt | QVTR.ParseQvtAsLibDefn |
| parserAndPrinter | Logic.Logic |
| parseRef | LF.Twelf2GR |
| parseRelationId | CASL.CompositionTable.ParseSparQ |
| ParseResult | Maude.Language |
| parsersAndPrinters | Logic.Logic |
| parseRSScheme | RelationalScheme.ParseRS |
| parserTraceFull | Common.DebugParser |
| parserTraceId | Common.DebugParser |
| parserTraceLineNumber | Common.DebugParser |
| parseRule | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| parseSameIndividual | OWL2.ParseAS |
| parseSameIndividualAtom | OWL2.ParseAS |
| parseSameIndividuals | OWL2.ParseMS |
| parseSameIndividualsAtom | OWL2.ParseMS |
| parsesAsBinder | HolLight.Helper |
| parseSen | CoCASL.Parse_AS |
| parseSentences | CommonLogic.Parse_CLIF |
| parseSExpr | VSE.Prove |
| parseSExprs | VSE.Prove |
| parseShortcut | CASL.CompositionTable.ParseSparQ |
| parseSignature | LF.MorphParser |
| parseSimpleKind | HasCASL.ParseTerm |
| parseSingleLine | CMDL.ParseProofScript |
| parseSingleSymbItem | Logic.Logic |
| parseSL | CASL.Sublogic |
| parseSparQTable | CASL.CompositionTable.ParseTable2 |
| parseSparQTableFromFile | CASL.CompositionTable.ParseTable2 |
| parseSparQTableOld | CASL.CompositionTable.ParseSparQ |
| parseSPASS | SoftFOL.DFGParser |
| parseSPASSCommands | SoftFOL.ProverState |
| parseSpecs | Static.FromXml |
| parseStatement | RDF.Parse |
| parseStatus | TPTP.Prover.Vampire.ProofParser |
| parseString | Common.Lexer |
| parseStringAttribute | CSMOF.Parser |
| parseSubAnnotationPropertyOf | OWL2.ParseAS |
| parseSubClassOf | OWL2.ParseAS |
| parseSubDataPropertyOf | OWL2.ParseAS |
| parseSubject | RDF.Parse |
| parseSublog | ExtModal.Sublogic |
| parseSublogic | Logic.Logic |
| parseSublogics | CMDL.DataTypesUtils |
| parseSubObjectPropertyExpression | OWL2.ParseAS |
| parseSubObjectPropertyOf | OWL2.ParseAS |
| parseSym | LF.MorphParser |
| parseSymbItems | CSL.Parse_AS_Basic |
| parseSymbMapItems | CSL.Parse_AS_Basic |
| parseSymbol | VSE.Prove |
| parSet | QVTR.Sign |
| parseTacticScript | Interfaces.GenericATPState |
| parseTheory | Isabelle.IsaParse |
| parseTHF | THF.ParseTHF |
| parseTimeLimit | Interfaces.Utils |
| parseTimeUsed | |
| 1 (Function) | TPTP.Prover.EProver.ProofParser |
| 2 (Function) | TPTP.Prover.Vampire.ProofParser |
| parseToken | Common.Lexer |
| parseTPTP | TPTP.ParseAsLibDefn |
| parseTriples | RDF.Parse |
| parseType | HasCASL.ParseTerm |
| parseTypeSignature | OWL2.ParseAS |
| parseUnknownArg | OWL2.ParseMS |
| parseUnknownAtom | OWL2.ParseMS |
| parseVar | CSL.Parse_AS_Basic |
| parseVarDecl | CSL.Parse_AS_Basic |
| parseVariable | OWL2.ParseMS |
| parseVarList | CSL.Parse_AS_Basic |
| parseVertex | FreeCAD.Brep |
| parseWithEq | LF.MorphParser |
| parseXmi | CSMOF.ParseXmiAsLibDefn |
| parseXmiMetamodel | QVTR.ParseQvtAsLibDefn |
| parseXml | Common.XmlParser |
| parsexml | Common.SAX |
| parseXMLElement | PGIP.XMLstate |
| parseXMLTree | PGIP.XMLstate |
| parse_basic_sen | Logic.Logic |
| parse_basic_spec | Logic.Logic |
| parse_keys | CommonLogic.Parse_KIF |
| parse_symb_items | Logic.Logic |
| parse_symb_map_items | Logic.Logic |
| Partial | |
| 1 (Type/Class) | Common.Partial |
| 2 (Data Constructor) | CASL.AS_Basic_CASL |
| 3 (Data Constructor) | HasCASL.As |
| Partiality | HasCASL.As |
| partition | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.OrderedMap |
| partitionAddChanges | Common.XUpdate |
| partitionC | HasCASL.Constrain |
| partitionGmaps | Static.AnalysisStructured |
| partitionOpId | HasCASL.VarDecl |
| partitionRules | Common.Earley |
| partitionWithKey | Common.OrderedMap |
| partList | Common.Lib.Rel |
| PartOp | CspCASL.AS_CspCASL_Process |
| partPrefixes | Common.AS_Annotation |
| partS | CSL.Keywords |
| partSet | Common.Lib.Rel |
| ParType | THF.Cons |
| passAllRecord | CSL.Fold |
| PassiveFocus | GUI.HTkUtils |
| passRecord | CSL.Fold |
| Password | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| password | Persistence.DBConfig |
| PatBrand | Comorphisms.HasCASL2IsabelleHOL |
| patBrand | Comorphisms.HasCASL2IsabelleHOL |
| PatElem | Adl.As |
| Path | |
| 1 (Type/Class) | Common.XPath |
| 2 (Data Constructor) | Common.XPath |
| 3 (Data Constructor) | NeSyPatterns.AS |
| path | |
| 1 (Function) | Common.Lib.Rel |
| 2 (Function) | Common.XPath |
| 3 (Function) | NeSyPatterns.AS |
| 4 (Function) | OMDoc.DataTypes |
| 5 (Function) | PGIP.GraphQL.Result.FileRange |
| patHasNoArg | Comorphisms.HasCASL2IsabelleHOL |
| PathExpr | Common.XPath |
| pathExpr | Common.XPath |
| pathFromFreeDef | Logic.Prover |
| pathInfo' | PGIP.RequestCache |
| PathQuantification | ExtModal.AS_ExtModal |
| pathToComorphism | Proofs.AbstractState |
| pathToExpr | Common.XmlDiff |
| patIsVar | Comorphisms.HasCASL2IsabelleHOL |
| patPreds | QVTR.Sign |
| patRels | QVTR.Sign |
| patTermPair | Fpl.As |
| PATTERN | OWL2.Keywords |
| Pattern | |
| 1 (Type/Class) | QVTR.Sign |
| 2 (Data Constructor) | QVTR.Sign |
| 3 (Type/Class) | TIP.AbsTIP |
| pattern | HasCASL.ParseTerm |
| patternS | Common.Keywords |
| patterns | Framework.AS |
| patternsOfAxiom | CASL.CCC.TermFormula |
| patternsS | Common.Keywords |
| patternTermPair | HasCASL.ParseTerm |
| PATTERN_NAME | Framework.AS |
| patToType | HasCASL.AsUtils |
| patVarSet | QVTR.Sign |
| pauseS | CSL.Keywords |
| PB | GUI.HTkUtils |
| Pb | GUI.HTkUtils |
| pBetBraces | QVTR.Parser |
| pBetParent | QVTR.Parser |
| pBind | Adl.Parse |
| pByplug | Adl.Parse |
| Pc | GUI.HTkUtils |
| pcAxioms | PGIP.Query |
| pcfun | Common.Doc |
| pChar | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | QVTR.Parser |
| pcInclTheorems | PGIP.Query |
| pClassId | QVTR.Parser |
| pCmp | Common.Partial |
| PCoClTyConsHOL2IsabelleHOL | |
| 1 (Type/Class) | Comorphisms.PCoClTyConsHOL2IsabelleHOL |
| 2 (Data Constructor) | Comorphisms.PCoClTyConsHOL2IsabelleHOL |
| PCoClTyConsHOL2PairsInIsaHOL | |
| 1 (Type/Class) | Comorphisms.PCoClTyConsHOL2PairsInIsaHOL |
| 2 (Data Constructor) | Comorphisms.PCoClTyConsHOL2PairsInIsaHOL |
| pColon | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | QVTR.Parser |
| pColonSep | QVTR.Parser |
| pComma | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | CSL.Parse_AS_Basic |
| 3 (Function) | QVTR.Parser |
| pCommaSep | QVTR.Parser |
| pConcept | Adl.Parse |
| pConceptDef | Adl.Parse |
| pConid | Adl.Parse |
| PCons | Common.Consistency |
| pContent | Adl.Parse |
| pContext | Adl.Parse |
| pContextElement | Adl.Parse |
| pContFun | Common.Keywords |
| PContFunArr | HasCASL.AsUtils |
| pcpo | Isabelle.IsaConsts |
| pcpoS | Isabelle.IsaConsts |
| pcProver | PGIP.Query |
| pcProverMode | PGIP.Query |
| pctEncoded | OWL2.Parse |
| pcTheoremsOrNodes | PGIP.Query |
| pcTimeout | PGIP.Query |
| pcTranslation | PGIP.Query |
| pcXmlResult | PGIP.Query |
| Pd | GUI.HTkUtils |
| pDeclaration | Adl.Parse |
| pdfC | PGIP.Output.Mime |
| pDomain | QVTR.Parser |
| pDuopAnd | QVTR.Parser |
| pDuopOr | QVTR.Parser |
| PE | GUI.HTkUtils |
| pelletConsChecker | OWL2.ProvePellet |
| pelletEnv | OWL2.ProvePellet |
| pelletProver | OWL2.ProvePellet |
| pencil | GUI.HTkUtils |
| pending | PGIP.GraphQL.Result.Mapping |
| pendingChangesLock | GUI.UDGUtils |
| pEqual | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | QVTR.Parser |
| pEqualExpre | QVTR.Parser |
| percentS | Common.Keywords |
| percents | Common.Keywords |
| perform | Persistence.Reasoning.PremiseSelectionSInE |
| periodS | CSL.Keywords |
| pEverything | QVTR.Parser |
| pExpl | Adl.Parse |
| pExplain | Adl.Parse |
| pExpr | Adl.Parse |
| Pf | GUI.HTkUtils |
| pFactor | Adl.Parse |
| pFactorI | Adl.Parse |
| pfoIncludeDetails | PGIP.Output.Proof |
| pfoIncludeProof | PGIP.Output.Proof |
| pfS | CSL.Keywords |
| pFullName | QVTR.Parser |
| pFun | Common.Keywords |
| pfun | Common.Doc |
| PFunArr | HasCASL.AsUtils |
| Pg | Adl.As |
| pGen | Adl.Parse |
| pGenParens | Adl.Parse |
| pgipId | PGIP.XMLstate |
| PGM | GUI.HTkUtils |
| Ph | GUI.HTkUtils |
| photo | GUI.HTkUtils |
| Phpplug | Adl.As |
| PHRASE | CommonLogic.AS_CommonLogic |
| phrase | CommonLogic.Parse_CLIF |
| PI | Common.XPath |
| Pi | |
| 1 (Data Constructor) | DFOL.AS_DFOL |
| 2 (Data Constructor) | LF.Sign |
| pick | GUI.HTkUtils |
| pIdentifier | QVTR.Parser |
| pidFile | Driver.Options |
| PiForAll | THF.As |
| pImpl | Adl.Parse |
| piOMS | LF.Twelf2GR |
| piPrec | DFOL.Utils |
| pIS | Common.XPath |
| piS | CSL.Keywords |
| pIsTop | QVTR.Parser |
| Pixels | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| pixels | GUI.HTkUtils |
| PI_Parent_Info | THF.As |
| pJson | Common.Json |
| PK | GUI.HTkUtils |
| Pk | |
| 1 (Data Constructor) | Adl.As |
| 2 (Data Constructor) | GUI.HTkUtils |
| pKey | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | QVTR.Parser |
| pKeyAtt | Adl.Parse |
| pKeyDecl | QVTR.Parser |
| pKeyDef | Adl.Parse |
| pKeyProperty | QVTR.Parser |
| pKeyS | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | QVTR.Parser |
| PKeyTerm | SoftFOL.Sign |
| pkeyword | |
| 1 (Function) | LF.MorphParser |
| 2 (Function) | OWL2.ParseMS |
| 3 (Function) | OWL2.Parse |
| pLabelProps | Adl.Parse |
| place | Common.Id |
| placeCount | Common.Id |
| Placed | FreeCAD.As |
| PlacedObject | |
| 1 (Type/Class) | FreeCAD.As |
| 2 (Data Constructor) | FreeCAD.As |
| Placement | |
| 1 (Type/Class) | FreeCAD.As |
| 2 (Data Constructor) | FreeCAD.As |
| placeS | Common.Lexer |
| placeT | Common.Lexer |
| placeTok | Common.Id |
| Plain | |
| 1 (Data Constructor) | HasCASL.As |
| 2 (Data Constructor) | SoftFOL.Sign |
| 3 (Data Constructor) | THF.As |
| 4 (Data Constructor) | TPTP.AS |
| plainAtom | CommonLogic.Parse_KIF |
| PlainAxiom | OWL2.MS |
| plainBlock | Common.Parsec |
| plainDatatypeIRI | OWL2.AS |
| PlainFormula | |
| 1 (Data Constructor) | Propositional.Sublogic |
| 2 (Data Constructor) | QBF.Sublogic |
| plainHide | HasCASL.Symbol |
| plainInTypes | Driver.Options |
| plainMorphismUnion | CASL.Morphism |
| plainOwlFormats | Driver.Options |
| PlainProgram | VSE.As |
| plainsent | CommonLogic.Parse_KIF |
| plainSign | Common.ExtSign |
| PlainTerm | THF.As |
| plainText | Common.Doc |
| plain_error | Common.Result |
| pLanguageID | Adl.Parse |
| plAssocList | SoftFOL.Sign |
| plClass | HasCASL.PrintAs |
| plOps | HasCASL.PrintAs |
| plTypes | HasCASL.PrintAs |
| Plug | Adl.As |
| Plugin | Adl.As |
| pluralCspSympKind | CspCASL.SymbItems |
| pluralKeyword | Common.Lexer |
| pluralS | |
| 1 (Function) | CASL.ToDoc |
| 2 (Function) | HasCASL.PrintAs |
| pluralS_symb_list | CASL.ToDoc |
| plus | GUI.HTkUtils |
| plusmin | CSL.Parse_AS_Basic |
| plusS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| 3 (Function) | Isabelle.IsaConsts |
| plusSign | THF.PrintTHF |
| plusV | Isabelle.IsaConsts |
| Pm | |
| 1 (Data Constructor) | Adl.As |
| 2 (Data Constructor) | GUI.HTkUtils |
| pmap | OWL2.Morphism |
| pMinus | Adl.Parse |
| pModExcl | CommonLogic.Parse_CLIF |
| pModule | CommonLogic.Parse_CLIF |
| pMorphism | Adl.Parse |
| PN | GUI.HTkUtils |
| pName | QVTR.As |
| Po | GUI.HTkUtils |
| pObj | Adl.Parse |
| pObjDef | Adl.Parse |
| pOCLConst | QVTR.Parser |
| pOCLExpression | QVTR.Parser |
| pOCLSingleSTRING | QVTR.Parser |
| pOCLSTRING | QVTR.Parser |
| pOCLWSemi | QVTR.Parser |
| points | GUI.HTkUtils |
| poll | GUI.HTkUtils |
| Poly | Maude.AS_Maude |
| Polygon | GUI.HTkUtils |
| PolyId | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| polyId | Common.Prec |
| PolySymbol | TIP.AbsTIP |
| pool | Persistence.DBConfig |
| populateGoalsListBox | GUI.HTkUtils |
| Population | Adl.As |
| popup | GUI.HTkUtils |
| POrder | Common.Partial |
| port | |
| 1 (Function) | OWL2.Parse |
| 2 (Function) | Persistence.DBConfig |
| Pos | Common.Id |
| PosInf | CSL.TreePO |
| posInputParser | CSL.Parse_AS_Basic |
| posInt | CASL_DL.PredefinedCASLAxioms |
| Position | GUI.HTkUtils |
| position | |
| 1 (Function) | FreeCAD.As |
| 2 (Function) | GUI.HTkUtils |
| positionFrom | GUI.HTkUtils |
| Positive | OWL2.AS |
| positiveIntegerS | OWL2.Keywords |
| PositiveOrNegative | OWL2.AS |
| posOfId | Common.Id |
| PossiblyEmptySorts | CASL.AS_Basic_CASL |
| Post | CspCASL.Print_CspCASL |
| post | GUI.HTkUtils |
| postDecimal | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| Postfix | OMDoc.DataTypes |
| postProcessCmd | PGIP.XMLparsing |
| postprocessReasoning | Persistence.Reasoning |
| postRules | Common.Earley |
| PostScript | GUI.HTkUtils |
| postscript | GUI.HTkUtils |
| Postulated | LF.Morphism |
| powerof10 | HolLight.Helper |
| Pp | GUI.HTkUtils |
| pp | GUI.HTkUtils |
| pParens | Adl.Parse |
| PParTerm | SoftFOL.Sign |
| pPatElem | Adl.Parse |
| pPattern | Adl.Parse |
| ppGenTerm | SoftFOL.ParseTPTP |
| ppJson | Common.Json |
| ppList | |
| 1 (Function) | Common.DocUtils |
| 2 (Function) | PGIP.Query |
| ppListOfList | CASL.Kif |
| PPM | GUI.HTkUtils |
| ppMap | Common.DocUtils |
| pPopulation | Adl.Parse |
| ppPairlist | Common.DocUtils |
| ppPrintTerm | HolLight.Sentence |
| ppPrintType | HolLight.Helper |
| pPragma | Adl.Parse |
| ppRangedLL | CASL.Kif |
| pPrec | Adl.Parse |
| pPrimitiveTypeDomain | QVTR.Parser |
| pProp' | Adl.Parse |
| pPropertyTemplate | QVTR.Parser |
| pPropertyTemplateList | QVTR.Parser |
| pProps | Adl.Parse |
| ppSet | Common.DocUtils |
| ppWithCommas | |
| 1 (Function) | Common.DocUtils |
| 2 (Function) | RDF.Print |
| ppWithSemis | RDF.Print |
| PR | GUI.HTkUtils |
| Pr | Adl.As |
| pRangedProp | Adl.Parse |
| prBasicSpec | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | Propositional.Sublogic |
| 3 (Function) | QBF.Sublogic |
| prBasis | Static.XGraph |
| prd_text | CommonLogic.Tools |
| Pre | CspCASL.Print_CspCASL |
| preAlphabetQuotType | CspCASLProver.Consts |
| preAlphabetS | CspCASLProver.Consts |
| preAlphabetSimS | CspCASLProver.Consts |
| preAlphabetType | CspCASLProver.Consts |
| Prec | Maude.AS_Maude |
| prec | CSL.AS_BASIC_CSL |
| PrecedenceGraph | Common.GlobalAnnotations |
| precedenceS | CSL.Keywords |
| Preceding | Common.XPath |
| preciseS | CSL.Keywords |
| precisionS | CSL.Keywords |
| PrecMap | |
| 1 (Type/Class) | Common.Prec |
| 2 (Data Constructor) | Common.Prec |
| precMap | Common.Prec |
| preConsts | Isabelle.Translate |
| pRecord | Adl.Parse |
| precParens | HolLight.Sentence |
| PrecRel | Common.AS_Annotation |
| precRel | Common.GlobalAnnotations |
| precS | Common.Keywords |
| Prec_anno | Common.AS_Annotation |
| prec_annos | Common.GlobalAnnotations |
| Pred | |
| 1 (Data Constructor) | DFOL.AS_DFOL |
| 2 (Data Constructor) | HasCASL.As |
| predArgs | CASL.Sign |
| PredAsItemType | |
| 1 (Data Constructor) | CASL.Sign |
| 2 (Data Constructor) | HasCASL.Le |
| PreDatatype | HasCASL.Le |
| PredDecl | QBF.AS_BASIC_QBF |
| predDecl2Term | SoftFOL.Conversions |
| predecessors | Common.Lib.Rel |
| preDefAxioms | THF.HasCASL2THF0Buildins |
| predefClass | OWL2.Keywords |
| predefDataProp | OWL2.Keywords |
| preDefHCAssumpIds | THF.Translate |
| preDefHCAssumps | THF.HasCASL2THF0Buildins |
| preDefHCTypeIds | THF.Translate |
| Predefined | GUI.HTkUtils |
| predefinedAxioms | CASL_DL.PredefinedCASLAxioms |
| predefinedPrefixes | RDF.Parse |
| predefinedSign | CASL_DL.PredefinedCASLAxioms |
| predefIRIs | OWL2.AS |
| PreDefMaps | OWL2.AS |
| preDefMaps | OWL2.AS |
| predefObjProp | OWL2.Keywords |
| predefOWLAnnoProps | OWL2.Keywords |
| predefPrefixes | OWL2.AS |
| predefPrefixesGA | OWL2.AS |
| predefRDFSAnnoProps | OWL2.Keywords |
| predefSign | CASL_DL.PredefinedCASLAxioms |
| predefSign2 | CASL_DL.PredefinedCASLAxioms |
| predFormula | CSL.Parse_AS_Basic |
| Predicate | |
| 1 (Type/Class) | RDF.AS |
| 2 (Data Constructor) | RDF.AS |
| 3 (Data Constructor) | Taxonomy.MMiSSOntology |
| 4 (Type/Class) | TPTP.AS |
| 5 (Data Constructor) | TPTP.Sign |
| predicate | Common.XPath |
| PredicateEntity | RDF.AS |
| PredicateObjectList | |
| 1 (Type/Class) | RDF.AS |
| 2 (Data Constructor) | RDF.AS |
| predicates | |
| 1 (Function) | RDF.Sign |
| 2 (Function) | SoftFOL.Sign |
| PredicateTerm | RDF.AS |
| PredicateType | |
| 1 (Type/Class) | TPTP.Sign |
| 2 (Data Constructor) | TPTP.Sign |
| Predication | |
| 1 (Data Constructor) | CASL.AS_Basic_CASL |
| 2 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| 3 (Data Constructor) | QBF.AS_BASIC_QBF |
| predIdApplDoc | Common.Doc |
| predIdToSSymbol | CASL.ToSExpr |
| PREDITEM | QBF.AS_BASIC_QBF |
| PredItem | QBF.AS_BASIC_QBF |
| predItem | CASL.OpItem |
| predItems | CASL.Parse_AS_Basic |
| PredKind | DFOL.Sign |
| PredMap | |
| 1 (Type/Class) | CASL.Sign |
| 2 (Type/Class) | SoftFOL.Sign |
| predMap | |
| 1 (Function) | CASL.Sign |
| 2 (Function) | SoftFOL.Sign |
| predMapToSExprs | CASL.ToSExpr |
| predPrec | DFOL.Utils |
| predS | Common.Keywords |
| preds2syms | Maude.PreComorphism |
| Predsym | |
| 1 (Type/Class) | CASL.Kif2CASL |
| 2 (Data Constructor) | CASL.Kif2CASL |
| predSym | SoftFOL.Sign |
| predSymbName | CASL.AS_Basic_CASL |
| Preds_kind | CASL.AS_Basic_CASL |
| predToSSymbol | CASL.ToSExpr |
| PredType | |
| 1 (Type/Class) | CASL.Sign |
| 2 (Data Constructor) | CASL.Sign |
| predType | |
| 1 (Function) | CASL.Formula |
| 2 (Function) | HasCASL.AsUtils |
| predTypeId | HasCASL.Builtin |
| predTypeScheme | HasCASL.AsUtils |
| predUnitType | CASL.Formula |
| Pred_decl | |
| 1 (Data Constructor) | CASL.AS_Basic_CASL |
| 2 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| Pred_defn | CASL.AS_Basic_CASL |
| PRED_HEAD | CASL.AS_Basic_CASL |
| Pred_head | CASL.AS_Basic_CASL |
| PRED_ITEM | |
| 1 (Type/Class) | CASL.AS_Basic_CASL |
| 2 (Type/Class) | Propositional.AS_BASIC_Propositional |
| Pred_item | Propositional.AS_BASIC_Propositional |
| Pred_items | CASL.AS_Basic_CASL |
| Pred_map | CASL.Morphism |
| pred_map | CASL.Morphism |
| PRED_NAME | CASL.AS_Basic_CASL |
| Pred_name | CASL.AS_Basic_CASL |
| PRED_SYMB | CASL.AS_Basic_CASL |
| PRED_TYPE | CASL.AS_Basic_CASL |
| Pred_type | CASL.AS_Basic_CASL |
| preEnv | HasCASL.Builtin |
| Prefer | Isabelle.IsaSign |
| preferS | Isabelle.IsaConsts |
| pRefID | Adl.Parse |
| Prefix | |
| 1 (Data Constructor) | HasCASL.PrintAs |
| 2 (Data Constructor) | OMDoc.DataTypes |
| 3 (Type/Class) | RDF.AS |
| prefix | |
| 1 (Function) | CommonLogic.Parse_CLIF |
| 2 (Function) | OWL2.ParseAS |
| 3 (Function) | OWL2.ParseMS |
| 4 (Function) | OWL2.Parse |
| prefixBy | Framework.WriteLogicUtils |
| prefixC | OWL2.ColonKeywords |
| PrefixChoice | CspCASLProver.TransProcesses |
| PrefixDeclaration | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.AS |
| prefixDeclaration | |
| 1 (Function) | OWL2.AS |
| 2 (Function) | OWL2.MS |
| prefixErrorIRI | Static.AnalysisStructured |
| prefixes | Logic.Grothendieck |
| prefixExt | CASL.ToDoc |
| PrefixForm | ExtModal.AS_ExtModal |
| prefixidentifier | CSL.Parse_AS_Basic |
| prefixK | OWL2.XMLKeywords |
| prefixKeywords | CSL.Keywords |
| PrefixMap | |
| 1 (Type/Class) | Common.GlobalAnnotations |
| 2 (Type/Class) | OWL2.AS |
| prefixMap | |
| 1 (Function) | OWL2.Sign |
| 2 (Function) | RDF.AS |
| PrefixMapping | CommonLogic.AS_CommonLogic |
| prefixMode | CSL.Print_AS |
| PrefixName | OWL2.AS |
| prefixName | Common.IRI |
| PrefixO | OWL2.Symbols |
| PrefixProcess | CspCASL.AS_CspCASL_Process |
| PrefixR | RDF.AS |
| prefixS | Common.Keywords |
| PrefixStatement | RDF.AS |
| PrefixT | HolLight.Term |
| Prefix_anno | Common.AS_Annotation |
| Prefix_Atom | ConstraintCASL.AS_ConstraintCASL |
| prefix_map | |
| 1 (Function) | Common.GlobalAnnotations |
| 2 (Function) | CommonLogic.AS_CommonLogic |
| prefix_proc | Common.Doc |
| prefix_procS | Common.Keywords |
| PRefTerm | SoftFOL.Sign |
| preIds | HasCASL.Le |
| preImage | Common.Lib.MapSet |
| pRelation | QVTR.Parser |
| pRelInvocation | QVTR.Parser |
| preLogicGraph | Comorphisms.LogicList |
| premiseCloseS | Isabelle.IsaConsts |
| premiseNumberLimit | Persistence.Reasoning.PremiseSelectionSInE |
| premiseOpenS | Isabelle.IsaConsts |
| Premises | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| PremiseSelectedSentence | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| PremiseSelectedSentenceId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| PremiseSelectedSentenceKey | Persistence.Schema |
| premiseSelectedSentenceKeypremiseId | Persistence.Schema |
| premiseSelectedSentenceKeypremiseSelectionId | Persistence.Schema |
| PremiseSelectedSentencePremiseId | Persistence.Schema |
| premiseSelectedSentencePremiseId | Persistence.Schema |
| PremiseSelectedSentencePremiseSelectionId | Persistence.Schema |
| premiseSelectedSentencePremiseSelectionId | Persistence.Schema |
| PremiseSelection | |
| 1 (Type/Class) | PGIP.GraphQL.Result.PremiseSelection |
| 2 (Data Constructor) | PGIP.GraphQL.Result.PremiseSelection |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| 5 (Type/Class) | PGIP.ReasoningParameters |
| 6 (Data Constructor) | PGIP.ReasoningParameters |
| premiseSelection | PGIP.ReasoningParameters |
| PremiseSelectionId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| PremiseSelectionKey | Persistence.Schema |
| PremiseSelectionKind | Persistence.Schema |
| premiseSelectionKind | Persistence.Schema |
| PremiseSelectionKindType | Persistence.Schema.Enums |
| PremiseSelectionProofAttemptId | Persistence.Schema |
| premiseSelectionProofAttemptId | Persistence.Schema |
| PremiseSelectionReasonerConfigurationId | Persistence.Schema |
| premiseSelectionReasonerConfigurationId | Persistence.Schema |
| premiseSelections | PGIP.GraphQL.Result.ReasonerConfiguration |
| PremiseSelectionTimeTaken | Persistence.Schema |
| premiseSelectionTimeTaken | Persistence.Schema |
| premiseSelectionToResult | PGIP.GraphQL.Resolver.ToResult |
| premiseTriggers | Persistence.Reasoning.PremiseSelectionSInE |
| Prenex | CASL.Sublogic |
| prepareAndCallVSE | VSE.Prove |
| prepareBasicTheory | OWL2.ManchesterPrint |
| prepareForConsChecking | Proofs.AbstractState |
| prepareFormatProver | PGIP.Output.Provers |
| prepareForProving | Proofs.AbstractState |
| prepareProverInput | |
| 1 (Function) | TIP.Prover.Common |
| 2 (Function) | TPTP.Prover.Common |
| prepareSenNames | Common.ProofUtils |
| prependString | Common.Id |
| prepPunctBar | Fpl.As |
| prepPunctuate | Common.DocUtils |
| preprocessReasoning | Persistence.Reasoning |
| preprocessSen | Comorphisms.CASL2Prenex |
| Presentation | |
| 1 (Type/Class) | OMDoc.OMDocInterface |
| 2 (Data Constructor) | OMDoc.OMDocInterface |
| presentationForId | OMDoc.OMDocInterface |
| presentationSystem | OMDoc.OMDocInterface |
| presentationUses | OMDoc.OMDocInterface |
| PResTerm | SoftFOL.Sign |
| pretS | CSL.Keywords |
| pretties | Common.DocUtils |
| prettifyTypeVars | HolLight.HolLight2DG |
| prettifyTypeVarsTm | HolLight.HolLight2DG |
| prettifyTypeVarsTp | HolLight.HolLight2DG |
| Pretty | Common.DocUtils |
| pretty | Common.DocUtils, CSL.Sign, CSL.Morphism, CommonLogic.Sign, CommonLogic.Morphism, NeSyPatterns.Sign, NeSyPatterns.Morphism, NeSyPatterns.Symbol, Propositional.Sign, Propositional.Morphism, Propositional.Symbol, QBF.Morphism, QBF.Symbol, Temporal.Sign, Temporal.Morphism, Temporal.Symbol |
| prettyArguments | THF.PrintTHF |
| PrettyAscii | Driver.Options |
| prettyAt | Common.Doc |
| prettyAtomicDefinedWord | THF.PrintTHF |
| prettyAtomicSystemWord | THF.PrintTHF |
| prettyBind | Common.Doc |
| prettyCommentBlock | THF.PrintTHF |
| prettyConstant | THF.PrintTHF |
| prettyDistinctObject | THF.PrintTHF |
| prettyElem | Common.ToXml |
| prettyExist | Common.Doc |
| prettyFullGTheory | Static.GTheory |
| prettyGeneralList | THF.PrintTHF |
| prettyGeneralTerms | THF.PrintTHF |
| prettyGr | Static.PrintDevGraph |
| prettyGTheory | Static.GTheory |
| prettyGTheorySL | Static.GTheory |
| prettyHeader | THF.PrintTHF |
| prettyHere | Common.Doc |
| prettyHistElem | Static.PrintDevGraph |
| prettyHistory | Static.PrintDevGraph |
| PrettyHtml | Driver.Options |
| PrettyLatex | Driver.Options |
| prettyLEdge | Static.PrintDevGraph |
| PrettyLG | Syntax.Print_AS_Structured |
| prettyLG | Syntax.Print_AS_Structured |
| prettyLibEnv | Static.PrintDevGraph |
| prettyList | Driver.Options |
| prettyLowerWord | THF.PrintTHF |
| prettyMorphismExtension | CASL.Morphism |
| prettyNameList | THF.PrintTHF |
| prettyOpItem | HasCASL.PrintAs |
| prettyOptionalInfo | THF.PrintTHF |
| PrettyOut | Driver.Options |
| prettyPath | Common.GraphAlgo |
| prettyPrint | Common.JSONOrXML |
| prettyPrintErrList | CMDL.Utils |
| prettyProcdefs | VSE.As |
| prettyProcKind | VSE.As |
| prettyRange | Common.Result |
| prettyRigor | ExtModal.Print_AS |
| prettySentence | HetsAPI.InfoCommands |
| prettySentenceOfTheory | HetsAPI.InfoCommands |
| prettySExpr | Common.SExpr |
| prettySingleQuoted | THF.PrintTHF |
| prettyTheory | HetsAPI.InfoCommands |
| prettyTuple | THF.PrintTHF |
| PrettyType | Driver.Options |
| prettyTypes | HolLight.Sign |
| prettyUniv | Common.Doc |
| prettyUpperWord | THF.PrintTHF |
| prettyUsefulInfo | THF.PrintTHF |
| prettyVariableList | THF.PrintTHF |
| prettyWithTag | Common.JSONOrXML |
| PrettyXml | Driver.Options |
| preTypes | Isabelle.Translate |
| prevA | CSL.TreePO |
| previouslyS | ExtModal.Keywords |
| Prf | Driver.Options |
| PrfIn | Driver.Options |
| prFormulaM | |
| 1 (Function) | Propositional.Sublogic |
| 2 (Function) | QBF.Sublogic |
| prfSuffix | Driver.Options |
| Prim | CspCASL.Print_CspCASL |
| primary | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| primaryOrDataRange | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| primCoerce | Logic.Coerce |
| primDomains | QVTR.As |
| primepS | CSL.Keywords |
| PrimExpr | Common.XPath |
| primExpr | Common.XPath |
| primFormula | CASL.Formula |
| PrimitiveDomain | |
| 1 (Type/Class) | QVTR.As |
| 2 (Data Constructor) | QVTR.As |
| PrimKind | Common.XPath |
| primName | QVTR.As |
| primPattern | HasCASL.ParseTerm |
| Primrec | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| primrecEquations | Isabelle.IsaSign |
| primrecS | Isabelle.IsaConsts |
| primRecSenTerms | Isabelle.IsaSign |
| primrecTarget | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| Primrec_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| primTerm | HasCASL.ParseTerm |
| primType | |
| 1 (Function) | HasCASL.ParseTerm |
| 2 (Function) | QVTR.As |
| primTypeOrId | HasCASL.ParseTerm |
| primTypePattern | HasCASL.ParseTerm |
| primTypePatternOrId | HasCASL.ParseTerm |
| PrincipalNodeType | Common.XPath |
| principalNodeType | Common.XPath |
| PrincipalSymbol | THF.As |
| Principal_symbol | TPTP.AS |
| 1 (Data Constructor) | Maude.AS_Maude |
| 2 (Type/Class) | TIP.PrintTIP |
| printable | Common.Lexer |
| printAFAxiom | OWL2.PrintMS |
| printALTERNATIVE | CASL.ToDoc |
| printAndOr | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printAnnAssertion | OWL2.PrintMS |
| printAnnFrameBit | OWL2.ManchesterPrint |
| printAnnotatedList | OWL2.Print |
| printAnnotation | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| 3 (Function) | OWL2.Print |
| printAnnotationAssertion | OWL2.PrintAS |
| printAnnotationAxiom | OWL2.PrintAS |
| printAnnotationList | Common.DocUtils |
| printAnnotationPropertyDomain | OWL2.PrintAS |
| printAnnotationPropertyRange | OWL2.PrintAS |
| printAnnotations | |
| 1 (Function) | OWL2.PrintMS |
| 2 (Function) | OWL2.Print |
| printAnnotationSubject | OWL2.PrintAS |
| printAnnotationValue | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| printAnnoted | Common.DocUtils |
| printAnnotedBulletFormulas | CASL.ToDoc |
| printAnnotedCoDatas | CoCASL.Print_AS |
| printAPF | OWL2.PrintMS |
| printAPFs | OWL2.PrintMS |
| printArgPattern | CSL.Print_AS |
| printArgs | |
| 1 (Function) | CSL.Print_AS |
| 2 (Function) | CspCASL.Print_CspCASL |
| printAssDefinition | CSL.Print_AS |
| printAssertion | OWL2.PrintAS |
| printAssertionAxiomMF | OWL2.PrintMS |
| printAST | Driver.Options |
| printAsymmetricObjectProperty | OWL2.PrintAS |
| printAtom | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| 3 (Function) | OWL2.PrintAS |
| 4 (Function) | OWL2.PrintMS |
| printAtoms | OWL2.PrintMS |
| printAttr | CASL.ToDoc |
| printAxiom | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.ManchesterPrint |
| 3 (Function) | RDF.Print |
| printAxioms | RDF.Print |
| printBasicItem | NeSyPatterns.Print |
| printBasicItems | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printBasicSpec | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| 3 (Function) | NeSyPatterns.Print |
| printBasicTheory | |
| 1 (Function) | OWL2.ManchesterPrint |
| 2 (Function) | TPTP.Pretty |
| printBASIC_SPEC | CASL.ToDoc |
| printBinder | HolLight.Sentence |
| printBO | FreeCAD.PrintAs |
| printBoolSent | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printBuiltInAtom | OWL2.PrintAS |
| printCF | OWL2.PrintMS |
| printCfgText | Interfaces.GenericATPState |
| printCFs | OWL2.PrintMS |
| printChanDecl | CspCASL.Print_CspCASL |
| printCharact | OWL2.Print |
| printCharacteristics | OWL2.PrintMS |
| printClassAssertion | OWL2.PrintAS |
| printClassAtom | OWL2.PrintAS |
| printClassAxiom | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| printClassAxiomsVer | OWL2.PrintMS |
| printClassExpression | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| printClassExpressionsHor | OWL2.PrintMS |
| printClassExpressionsVer | OWL2.PrintMS |
| printClause | HolLight.Sentence |
| printClauses | HolLight.Sentence |
| printCMD | CSL.Print_AS |
| printCmdResult | CMDL.ProcessScript |
| printCOALTERNATIVE | CoCASL.Print_AS |
| printCoCASLSign | CoCASL.Print_AS |
| printCOCOMPONENTS | CoCASL.Print_AS |
| printCODATATYPE_DECL | CoCASL.Print_AS |
| printCol | QVTR.Print |
| printCOLSign | COL.Print_AS |
| printCOL_SIG_ITEM | COL.Print_AS |
| printCommAlpha | CspCASL.Print_CspCASL |
| printCommaSeparated | SoftFOL.PrintTPTP |
| printComment | CommonLogic.AS_CommonLogic |
| printComorphismDef | Framework.AS |
| printConstant | CSL.Print_AS |
| printConstantName | CSL.Print_AS |
| printCspBasicExt | CspCASL.Print_CspCASL |
| printC_BASIC_ITEM | CoCASL.Print_AS |
| printC_FORMULA | CoCASL.Print_AS |
| printC_SIG_ITEM | CoCASL.Print_AS |
| printDataArg | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| printDataCardinality | OWL2.PrintAS |
| printDataComplementOf | OWL2.PrintAS |
| printDataHasValue | OWL2.PrintAS |
| printDataIRI | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| 3 (Function) | OWL2.Print |
| printDataJunction | OWL2.PrintAS |
| printDataOneOf | OWL2.PrintAS |
| printDataPropAxiom | OWL2.PrintMS |
| printDataPropAxiomMF | OWL2.PrintMS |
| printDataPropertyAssertion | OWL2.PrintAS |
| printDataPropertyAtom | OWL2.PrintAS |
| printDataPropertyAxiom | OWL2.PrintAS |
| printDataPropertyDomain | OWL2.PrintAS |
| printDataPropertyRange | OWL2.PrintAS |
| printDataRange | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| 3 (Function) | OWL2.Print |
| printDataRangeAtom | OWL2.PrintAS |
| printDataRestriction | OWL2.PrintAS |
| printDatatype | OWL2.AS |
| printDatatypeDefinition | OWL2.PrintAS |
| printDatatypeDefinitionAxiom | OWL2.PrintMS |
| printDataValuesFrom | OWL2.PrintAS |
| printDD | Fpl.As |
| printDeclaration | OWL2.PrintAS |
| printDecls | DFOL.AS_DFOL |
| printDetails | PGIP.ReasoningParameters |
| printDF | OWL2.PrintMS |
| printDFs | OWL2.PrintMS |
| printDGAtom | OWL2.PrintAS |
| printDGAxiom | OWL2.PrintAS |
| printDGBody | OWL2.PrintAS |
| printDGEdgeAssertion | OWL2.PrintAS |
| printDGEdges | OWL2.PrintAS |
| printDGHead | OWL2.PrintAS |
| printDGNodeAssertion | OWL2.PrintAS |
| printDGNodes | OWL2.PrintAS |
| printDGRule | OWL2.PrintAS |
| printDiag | Static.ArchDiagram |
| printDiags | Common.Result |
| printDifferentIndividuals | OWL2.PrintAS |
| printDifferentIndividualsAtom | OWL2.PrintAS |
| printDisjObProp | OWL2.PrintMS |
| printDisjointClasses | OWL2.PrintAS |
| printDisjointDataProperties | OWL2.PrintAS |
| printDisjointObjectProperties | OWL2.PrintAS |
| printDisjointUnion | OWL2.PrintAS |
| printDLSafeRule | OWL2.PrintAS |
| printDLSafeRuleBody | OWL2.PrintAS |
| printDLSafeRuleHead | OWL2.PrintAS |
| printDoc | FreeCAD.PrintAs |
| printDocument | RDF.Print |
| printDPF | OWL2.PrintMS |
| printDPFs | OWL2.PrintMS |
| printEither | Common.DocUtils |
| printEntity | OWL2.PrintAS |
| printEO | FreeCAD.PrintAs |
| printEq0 | HasCASL.PrintAs |
| printEqObProp | OWL2.PrintMS |
| printEquivalentClasses | OWL2.PrintAS |
| printEquivalentDataProperties | OWL2.PrintAS |
| printEquivalentObjectProperties | OWL2.PrintAS |
| printEquivOrDisjointClasses | OWL2.Print |
| printEquivOrDisjointProp | OWL2.Print |
| printEvent | CspCASL.Print_CspCASL |
| printEventSet | CspCASL.Print_CspCASL |
| printExpandedIRI | RDF.Print |
| printExpression | CSL.Print_AS |
| printExtension | Syntax.Print_AS_Structured |
| printFact | OWL2.ManchesterPrint |
| printFormula | |
| 1 (Function) | CASL.ToDoc |
| 2 (Function) | SoftFOL.Print |
| 3 (Function) | SoftFOL.PrintTPTP |
| printFormulaOfHybridSign | Hybrid.Print_AS |
| printFormulaOfModalSign | Modal.Print_AS |
| printFram | Framework.AS |
| printFrame | OWL2.ManchesterPrint |
| printFrameBit | OWL2.ManchesterPrint |
| printFunctionalDataProperty | OWL2.PrintAS |
| printFunctionalObjectProperty | OWL2.PrintAS |
| printFV | |
| 1 (Function) | OWL2.PrintMS |
| 2 (Function) | OWL2.Print |
| printGenVarDecls | HasCASL.PrintAs |
| printGroupSpec | Syntax.Print_AS_Structured |
| printHasKey | OWL2.PrintAS |
| printHasKeyAxiom | OWL2.PrintMS |
| printHead | HasCASL.PrintAs |
| printHybridSign | Hybrid.Print_AS |
| printIF | OWL2.PrintMS |
| printIFAssertionAxiom | OWL2.PrintMS |
| printIFs | OWL2.PrintMS |
| printImplEq | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printImport | OWL2.ManchesterPrint |
| printImportation | CommonLogic.AS_CommonLogic |
| printIndividualArg | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| printInfix | CASL.ToDoc |
| printInterval | CSL.Print_AS |
| printInverseFunctionalObjectProperty | OWL2.PrintAS |
| printInverseObjectProperties | OWL2.PrintAS |
| printInvObProp | OWL2.PrintMS |
| printIRI | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| 3 (Function) | OWL2.Print |
| printIrreflexiveObjectProperty | OWL2.PrintAS |
| printIsaTheory | Isabelle.IsaPrint |
| printItScheme | HasCASL.PrintAs |
| printKind | HasCASL.PrintAs |
| printList0 | HasCASL.PrintAs |
| printListFrameBit | OWL2.ManchesterPrint |
| printLiteral | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| printLogic | Logic.PrintLogics |
| printLogicDef | Framework.AS |
| printLogics | Logic.PrintLogics |
| printLogicsWithStability | Logic.PrintLogics |
| printMainClasses | OWL2.PrintAS |
| printMap | Common.DocUtils |
| printMap1 | HasCASL.PrintLe |
| printMaybe | Common.DocUtils |
| PrintMenuOption | GUI.UDGUtils |
| printMF | OWL2.PrintMS |
| printMisc | OWL2.ManchesterPrint |
| printMiscBit | OWL2.ManchesterPrint |
| printMODALITY | CoCASL.Print_AS |
| printModalSign | Modal.Print_AS |
| printModule | CommonLogic.AS_CommonLogic |
| printMPrec | ExtModal.Print_AS |
| printMS | OWL2.PrintMS |
| printName | CommonLogic.Print_KIF |
| printNamedFormula | TopHybrid.Print_AS |
| printNamedSen | Isabelle.IsaPrint |
| printNamedSentence | TPTP.Pretty |
| printNamedSentenceTHF | THF.Print |
| printNameOrSeqMark | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printNames | DFOL.AS_DFOL |
| printNegatedPrimary | OWL2.Print |
| printNegativeDataPropertyAssertion | OWL2.PrintAS |
| printNegativeObjectPropertyAssertion | OWL2.PrintAS |
| printNode | NeSyPatterns.Print |
| printNodes | RDF.Print |
| printNSen | Adl.Sign |
| printObject | |
| 1 (Function) | FreeCAD.PrintAs |
| 2 (Function) | RDF.Print |
| printObjectCardinality | OWL2.PrintAS |
| printObjectComplementOf | OWL2.PrintAS |
| printObjectHasSelf | OWL2.PrintAS |
| printObjectHasValue | OWL2.PrintAS |
| printObjectJunction | OWL2.PrintAS |
| printObjectOneOf | OWL2.PrintAS |
| printObjectPropertyAssertion | OWL2.PrintAS |
| printObjectPropertyAtom | OWL2.PrintAS |
| printObjectPropertyAxiom | OWL2.PrintAS |
| printObjectPropertyDomain | OWL2.PrintAS |
| printObjectPropertyExpression | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| printObjectPropertyExpressionsHor | OWL2.PrintMS |
| printObjectPropertyExpressionsVer | OWL2.PrintMS |
| printObjectPropertyRange | OWL2.PrintAS |
| printObjectValuesFrom | OWL2.PrintAS |
| printObjPropExp | OWL2.Print |
| printObPropAxiomMF | OWL2.PrintMS |
| printObPropDom | OWL2.PrintMS |
| printObPropRange | OWL2.PrintMS |
| printOMapElemWOrd | Logic.Prover |
| printOneNamed | OWL2.Logic_OWL2 |
| printOnt | OWL2.PrintAS |
| printOntology | |
| 1 (Function) | OWL2.PrintMS |
| 2 (Function) | OWL2.ManchesterPrint |
| printOntologyDocument | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| 3 (Function) | OWL2.ManchesterPrint |
| printOPF | OWL2.PrintMS |
| printOPFs | OWL2.PrintMS |
| printOpItem | CASL.ToDoc |
| printOpname | CSL.Print_AS |
| printOptArgDecls | CASL.ToDoc |
| printOptionsWarnings | Driver.Options |
| printOWLBasicTheory | OWL2.ManchesterPrint |
| printPair | Common.DocUtils |
| printParmProcname | CspCASL.Print_CspCASL |
| printPhrase | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printPO | FreeCAD.PrintAs |
| printPositiveOrNegative | OWL2.Print |
| printprecisionS | CSL.Keywords |
| printPredHead | CASL.ToDoc |
| printPredicate | RDF.Print |
| printPredItem | CASL.ToDoc |
| printPredObjList | RDF.Print |
| printPrefixDeclaration | |
| 1 (Function) | OWL2.PrintAS |
| 2 (Function) | OWL2.PrintMS |
| printPrefixes | OWL2.ManchesterPrint |
| printPrimary | |
| 1 (Function) | OWL2.PrintMS |
| 2 (Function) | OWL2.Print |
| printProblemTHF | THF.Print |
| printProcAlphabet | CspCASL.Print_CspCASL |
| printProcess | CspCASL.Print_CspCASL |
| printProcessName | CspCASL.Print_CspCASL |
| printProcItem | CspCASL.Print_CspCASL |
| printProcProfile | CspCASL.Print_CspCASL |
| printProfile | OWL2.Profiles |
| printProof | PGIP.ReasoningParameters |
| printQuant | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printRational | CSL.Print_AS |
| printRDFBasicTheory | RDF.Print |
| printRecord | CASL.ToDoc |
| printReflexiveObjectProperty | OWL2.PrintAS |
| printRelation | OWL2.Print |
| printRestrTypedecl | VSE.As |
| printRowVar | CommonLogic.Print_KIF |
| printRule | OWL2.PrintMS |
| printRules | OWL2.PrintMS |
| printSameIndividual | OWL2.PrintAS |
| printSameIndividualAtom | OWL2.PrintAS |
| printSameOrDifferentInd | OWL2.Print |
| printSemiAnno | Common.DocUtils |
| printSenItems | LF.Analysis |
| printSenItemsH | LF.Analysis |
| printSentence | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printSet | Common.DocUtils |
| printSetMap | Common.DocUtils |
| printSigItems | LF.Analysis |
| printSign | |
| 1 (Function) | CASL.Sign |
| 2 (Function) | OWL2.ManchesterPrint |
| 3 (Function) | RDF.Print |
| printSignElem | OWL2.ManchesterPrint |
| printSK | HasCASL.PrintAs |
| printSortItem | CASL.ToDoc |
| printStatement | RDF.Print |
| printStatistics | Static.CheckGlobalContext |
| printString | TIP.PrintTIP |
| printSubAnnotationPropertyOf | OWL2.PrintAS |
| printSubClassOf | OWL2.PrintAS |
| printSubDataPropertyOf | OWL2.PrintAS |
| printSubject | RDF.Print |
| printSubObjectPropertyExpression | OWL2.PrintAS |
| printSubObjectPropertyOf | OWL2.PrintAS |
| printSubPropChain | OWL2.PrintMS |
| printSubPropOf | OWL2.PrintMS |
| printSymbItems | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | NeSyPatterns.Print |
| printSymbMapItems | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | NeSyPatterns.Print |
| printSymbol | |
| 1 (Function) | CSL.Symbol |
| 2 (Function) | CommonLogic.Symbol |
| 3 (Function) | DFOL.Symbol |
| 4 (Function) | NeSyPatterns.Print |
| printSymbOrMap | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | NeSyPatterns.Print |
| printSymmetricObjectProperty | OWL2.PrintAS |
| printTerm | |
| 1 (Function) | CASL.ToDoc |
| 2 (Function) | CommonLogic.AS_CommonLogic |
| 3 (Function) | CommonLogic.Print_KIF |
| 4 (Function) | HasCASL.PrintAs |
| 5 (Function) | HolLight.Sentence |
| 6 (Function) | Isabelle.IsaPrint |
| 7 (Function) | RDF.Print |
| printTermList | SoftFOL.PrintTPTP |
| printTermRec | HasCASL.PrintAs |
| printTermSeq | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printTermSequence | HolLight.Sentence |
| printText | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printTextMeta | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printTh | Static.PrintDevGraph |
| printTheory | Logic.Logic |
| printTheoryAsSoftFOL | SoftFOL.CreateDFGDoc |
| printTheoryFormula | CASL.ToDoc |
| printTIP | TIP.Utils |
| PrintTPTP | SoftFOL.PrintTPTP |
| printTPTP | SoftFOL.PrintTPTP |
| printTPTPTHF | THF.PrintTHF |
| printTrailer | Common.DocUtils |
| printTransitiveObjectProperty | OWL2.PrintAS |
| printTree | TIP.PrintTIP |
| printTriple | Common.DocUtils |
| printTriples | RDF.Print |
| PrintTypeConv | Logic.Logic |
| printTypedLiteral | OWL2.PrintMS |
| printTypeId | HasCASL.PrintAs |
| printTypeScheme | HasCASL.PrintAs |
| printTypeToken | HasCASL.PrintAs |
| printUnion | Syntax.Print_AS_Structured |
| printUnknownArg | OWL2.PrintMS |
| printUntypedLiteral | OWL2.PrintMS |
| printVarDecl | CASL.ToDoc |
| printVarDeclL | CASL.ToDoc |
| printVarDecls | CASL.ToDoc |
| printVarDeclType | HasCASL.PrintAs |
| printVarKind | HasCASL.PrintAs |
| print_named | Logic.Logic |
| print_sign | Logic.Logic |
| Prio | CspCASL.Print_CspCASL |
| priority | Common.AS_Annotation |
| priorVersion | OWL2.Keywords |
| priS | CSL.Keywords |
| prJunct | ExtModal.Print_AS |
| prMor | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | OWL2.Sublogic |
| 3 (Function) | Propositional.Sublogic |
| 4 (Function) | QBF.Sublogic |
| prMorph | OWL2.ProfilesAndSublogics |
| prName | CommonLogic.Sublogic |
| Problem | SoftFOL.MathServParsing |
| problem | SoftFOL.MathServParsing |
| ProblemChoice | SoftFOL.MathServParsing |
| ProblemOpt | SoftFOL.MathServParsing |
| problemOutput | Interfaces.GenericATPState |
| Proc | VSE.As |
| proc3dLine | FreeCAD.Brep |
| ProcAlphabet | CspCASL.AS_CspCASL_Process |
| ProcAsItemType | CspCASL.Symbol |
| procCmd | CSL.Reduce_Interface |
| procdecl | VSE.Parse |
| procDeclOrDefn | CspCASL.Parse_CspCASL_Process |
| Procdecls | |
| 1 (Type/Class) | VSE.As |
| 2 (Data Constructor) | VSE.As |
| procdecls | VSE.Parse |
| Procedure | VSE.As |
| procedureS | CSL.Keywords |
| PROCESS | CspCASL.AS_CspCASL_Process |
| processCmds | |
| 1 (Function) | CSL.ReduceProve |
| 2 (Function) | PGIP.XMLparsing |
| processCmdsIntern | CSL.ReduceProve |
| processCommand | PGIP.XMLparsing |
| ProcessEq | CspCASL.SignCSP |
| processFile | |
| 1 (Function) | FreeCAD.Translator |
| 2 (Function) | Main |
| processGraphQL | PGIP.GraphQL |
| Processing | Persistence.Schema.EvaluationStateType |
| processInput | PGIP.XMLparsing |
| ProcessKind | CspCASL.SymbItems |
| ProcessMap | CspCASL.Morphism |
| processMap | CspCASL.Morphism |
| processMsgs | PGIP.XMLparsing |
| processProof | SoftFOL.EProver |
| processS | CspCASL.CspCASL_Keywords |
| processString | PGIP.XMLparsing |
| processStruct | LF.Twelf2GR |
| PROCESS_NAME | |
| 1 (Data Constructor) | CspCASL.AS_CspCASL_Process |
| 2 (Type/Class) | CspCASL.AS_CspCASL_Process |
| process_name | CspCASL.Parse_CspCASL_Process |
| procFun | CspCASL.SymMapAna |
| proch | CSL.Reduce_Interface |
| procIdToSSymbol | VSE.ToSExpr |
| ProcItems | CspCASL.AS_CspCASL |
| ProcKind | VSE.As |
| procKind | VSE.Parse |
| procMapS | CspCASLProver.Consts |
| procMapType | CspCASLProver.Consts |
| ProcNameMap | CspCASL.SignCSP |
| procNameToSimpProcName | CspCASL.AS_CspCASL_Process |
| procNameType | CspCASLProver.Consts |
| Procparam | |
| 1 (Type/Class) | VSE.As |
| 2 (Data Constructor) | VSE.As |
| procPrio | CspCASL.Print_CspCASL |
| ProcProfile | |
| 1 (Type/Class) | CspCASL.AS_CspCASL_Process |
| 2 (Data Constructor) | CspCASL.AS_CspCASL_Process |
| procProfile2Sorts | CspCASL.SymMapAna |
| procRectangle | FreeCAD.Brep |
| Procs | |
| 1 (Type/Class) | VSE.As |
| 2 (Data Constructor) | VSE.As |
| procSet | CspCASL.SignCSP |
| procsMap | VSE.As |
| procsToOpMap | VSE.Ana |
| procsToPredMap | VSE.Ana |
| procsToSExprs | VSE.ToSExpr |
| procString | CSL.Reduce_Interface |
| ProcType | CspCASL.SymbItems |
| ProcVarList | CspCASL.SignCSP |
| ProcVarMap | CspCASL.SignCSP |
| PROC_ALPHABET | CspCASL.AS_CspCASL_Process |
| PROC_ARGS | CspCASL.AS_CspCASL_Process |
| Proc_Decl | CspCASL.AS_CspCASL |
| Proc_Defn | CspCASL.AS_CspCASL |
| Proc_Eq | CspCASL.AS_CspCASL |
| PROC_ITEM | CspCASL.AS_CspCASL |
| ProdInfix | HasCASL.PrintAs |
| prodKind | HasCASL.AsUtils |
| prodKind1 | HasCASL.AsUtils |
| prODoc | OWL2.Sublogic |
| prodS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| 3 (Function) | Isabelle.IsaConsts |
| prodT | Isabelle.IsaConsts |
| prodToMapType | Comorphisms.THFP2THF0 |
| prodTToTuple | Comorphisms.THFP2THF0 |
| ProdType | THF.Cons |
| prodType | |
| 1 (Function) | HasCASL.ParseTerm |
| 2 (Function) | Isabelle.IsaConsts |
| Product | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| productId | HasCASL.AsUtils |
| production | Persistence.DBConfig |
| productS | CSL.Keywords |
| Profile | |
| 1 (Type/Class) | VSE.As |
| 2 (Data Constructor) | VSE.As |
| profile | VSE.Parse |
| profileContainsSort | CASL.SymbolMapAnalysis |
| profileMax | OWL2.Profiles |
| Profiles | |
| 1 (Type/Class) | OWL2.Profiles |
| 2 (Data Constructor) | OWL2.Profiles |
| profiles | OWL2.ProfilesAndSublogics |
| profilesAndSublogic | OWL2.ProfilesAndSublogics |
| profileToOpType | VSE.Ana |
| profileToPredType | VSE.Ana |
| ProfSub | |
| 1 (Type/Class) | OWL2.ProfilesAndSublogics |
| 2 (Data Constructor) | OWL2.ProfilesAndSublogics |
| ProgEq | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| ProgEqSen | HasCASL.Le |
| ProgItems | HasCASL.As |
| Program | |
| 1 (Data Constructor) | HasCASL.As |
| 2 (Type/Class) | VSE.As |
| program | VSE.Parse |
| programS | Common.Keywords |
| programSeq | VSE.Parse |
| progressBar | |
| 1 (Function) | GUI.GtkUtils |
| 2 (Function) | GUI.Utils |
| progressBarExt | GUI.GtkUtils |
| progToSetRec | VSE.Fold |
| progToSExpr | VSE.ToSExpr |
| ProjBasic | CASL.Logic_CASL |
| projBasicItems | CASL.Logic_CASL |
| projC_Formula | Comorphisms.CoCASL2CoPCFOL |
| ProjectSublogic | Logic.Logic |
| projectSublogic | Logic.Logic |
| projectSublogicBasicSpec | TPTP.Sublogic |
| ProjectSublogicM | Logic.Logic |
| projectSublogicM | Logic.Logic |
| projectSublogicMorphism | TPTP.Sublogic |
| projectSublogicMSymbol | TPTP.Sublogic |
| projectSublogicMUnit | TPTP.Sublogic |
| projectSublogicSentence | TPTP.Sublogic |
| projectSublogicSign | TPTP.Sublogic |
| projectTo | Comorphisms.CASL2PCFOL |
| projectUnique | CASL.Project |
| projEM | Comorphisms.ExtModal2ExtModalNoSubsorts |
| projEMFormula | Comorphisms.ExtModal2ExtModalNoSubsorts |
| projFlatOp | CspCASLProver.Consts |
| projFlatS | CspCASLProver.Consts |
| ProjForm | CASL.Logic_CASL |
| projForm | CASL.Logic_CASL |
| projFormula | CASL.Project |
| projName | Common.Id |
| projRecord | CASL.Project |
| ProjSigItem | CASL.Logic_CASL |
| projSigItems | CASL.Logic_CASL |
| projTerm | CASL.Project |
| projToken | Common.Id |
| projType | HasCASL.TypeRel |
| proj_sublogic_epsilon | Logic.Logic |
| prompter | CMDL.DataTypes |
| prompterHead | CMDL.DataTypes |
| prOntDoc | OWL2.ProfilesAndSublogics |
| Proof | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| proof | |
| 1 (Function) | HolLight.Sentence |
| 2 (Function) | Isabelle.IsaSign |
| 3 (Function) | SoftFOL.MathServParsing |
| ProofActions | |
| 1 (Type/Class) | Proofs.AbstractState |
| 2 (Data Constructor) | Proofs.AbstractState |
| ProofAttempt | |
| 1 (Data Constructor) | Persistence.Schema.Enums |
| 2 (Type/Class) | Persistence.Schema |
| 3 (Data Constructor) | Persistence.Schema |
| ProofAttemptConjectureId | Persistence.Schema |
| proofAttemptConjectureId | Persistence.Schema |
| ProofAttemptId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ProofAttemptKey | Persistence.Schema |
| ProofAttemptProofStatus | Persistence.Schema |
| proofAttemptProofStatus | Persistence.Schema |
| proofAttempts | PGIP.GraphQL.Result.Conjecture |
| ProofAttemptUsedSentence | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ProofAttemptUsedSentenceId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ProofAttemptUsedSentenceKey | Persistence.Schema |
| ProofAttemptUsedSentenceProofAttemptId | Persistence.Schema |
| proofAttemptUsedSentenceProofAttemptId | Persistence.Schema |
| ProofAttemptUsedSentenceSentenceId | Persistence.Schema |
| proofAttemptUsedSentenceSentenceId | Persistence.Schema |
| ProofBasis | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| proofBasis | Static.DgUtils |
| proofBasisOfThmLinkStatus | Static.DgUtils |
| proofC | Framework.AS |
| ProofCommand | |
| 1 (Type/Class) | Isabelle.IsaSign |
| 2 (Data Constructor) | Driver.Options |
| ProofEnd | Isabelle.IsaSign |
| ProofFormatterOptions | PGIP.Output.Proof |
| proofFormatterOptions | PGIP.Output.Proof |
| ProofGraph | Common.ProofTree |
| ProofGraphNode | Common.ProofTree |
| ProofHistory | Static.DevGraph |
| proofHistory | Static.DevGraph |
| proofInfo | SoftFOL.EProver |
| proofLines | Logic.Prover |
| proofLists | SoftFOL.Sign |
| proofMenu | GUI.GraphLogic |
| ProofMethod | Isabelle.IsaSign |
| proofOf | SoftFOL.MathServParsing |
| ProofOptions | |
| 1 (Type/Class) | HetsAPI.ProveCommands |
| 2 (Data Constructor) | HetsAPI.ProveCommands |
| proofOptsAxiomsToInclude | HetsAPI.ProveCommands |
| proofOptsComorphism | HetsAPI.ProveCommands |
| proofOptsGoalsToProve | HetsAPI.ProveCommands |
| proofOptsProver | HetsAPI.ProveCommands |
| proofOptsTimeout | HetsAPI.ProveCommands |
| proofOptsUseTheorems | HetsAPI.ProveCommands |
| ProofResult | PGIP.Shared, PGIP.Output.Proof |
| proofs | Framework.AS |
| proofsS | Common.Keywords |
| proofStat | SoftFOL.MathServMapping |
| ProofState | |
| 1 (Type/Class) | Proofs.AbstractState |
| 2 (Data Constructor) | Proofs.AbstractState |
| ProofStatus | |
| 1 (Type/Class) | Logic.Prover |
| 2 (Data Constructor) | Logic.Prover |
| proofStatus | Interfaces.GenericATPState |
| proofStatuses | TPTP.Prover.Common |
| proofStatuses' | TPTP.Prover.Common |
| proofStatusToGStatus | Common.GtkGoal |
| ProofStatusType | Persistence.Schema.Enums |
| ProofTree | |
| 1 (Type/Class) | Common.ProofTree |
| 2 (Data Constructor) | Common.ProofTree |
| proofTree | Logic.Prover |
| proofType | SoftFOL.Sign |
| Prop | |
| 1 (Type/Class) | Adl.As |
| 2 (Data Constructor) | Adl.As |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| prop | Isabelle.IsaSign |
| Prop2CASL | |
| 1 (Type/Class) | Comorphisms.Prop2CASL |
| 2 (Data Constructor) | Comorphisms.Prop2CASL |
| Prop2CommonLogic | |
| 1 (Type/Class) | Comorphisms.Prop2CommonLogic |
| 2 (Data Constructor) | Comorphisms.Prop2CommonLogic |
| Prop2QBF | |
| 1 (Type/Class) | Comorphisms.Prop2QBF |
| 2 (Data Constructor) | Comorphisms.Prop2QBF |
| propagate | GUI.HTkUtils |
| propagateErrors | Common.Result |
| propagatePaths | Static.XSimplePath |
| propagateProofs | Static.GTheory |
| propConsChecker | Propositional.Prove |
| Properties | Common.Lib.Tabular |
| properties | |
| 1 (Function) | CSMOF.Sign |
| 2 (Function) | QVTR.As |
| propertiesC | OWL2.ColonKeywords |
| Property | |
| 1 (Type/Class) | CSMOF.As |
| 2 (Data Constructor) | CSMOF.As |
| 3 (Data Constructor) | GUI.HTkUtils |
| property | CSMOF.Sign |
| propertyClass | CSMOF.As |
| PropertyExpressionChain | OWL2.AS |
| propertySuper | CSMOF.As |
| PropertyT | |
| 1 (Type/Class) | CSMOF.Sign |
| 2 (Data Constructor) | CSMOF.Sign |
| PropertyTemplate | |
| 1 (Type/Class) | QVTR.As |
| 2 (Data Constructor) | QVTR.As |
| PropertyType | CASL_DL.Sign |
| PropFormulae | Propositional.Sublogic |
| PropInfo | |
| 1 (Type/Class) | CSMOF.StatAna |
| 2 (Data Constructor) | CSMOF.StatAna |
| propInfo | CSMOF.StatAna |
| PropKey | QVTR.As |
| propKeyCheckOK | QVTR.StatAna |
| propKeysCheckOK | QVTR.StatAna |
| propMap | |
| 1 (Function) | CommonLogic.Morphism |
| 2 (Function) | Propositional.Morphism |
| 3 (Function) | QBF.Morphism |
| 4 (Function) | Temporal.Morphism |
| propName | QVTR.As |
| Proportional | GUI.HTkUtils |
| Proposition | |
| 1 (Type/Class) | TPTP.AS |
| 2 (Data Constructor) | TPTP.Sign |
| Propositional | |
| 1 (Data Constructor) | CommonLogic.Sublogic |
| 2 (Type/Class) | Propositional.Logic_Propositional |
| 3 (Data Constructor) | Propositional.Logic_Propositional |
| propositional | PGIP.Server.Examples |
| Propositional2OWL2 | |
| 1 (Type/Class) | OWL2.Propositional2OWL2 |
| 2 (Data Constructor) | OWL2.Propositional2OWL2 |
| PropositionSet | TPTP.Sign |
| propositionSet | TPTP.Sign |
| propPats | Isabelle.IsaSign |
| propProp | Adl.As |
| PropProverState | |
| 1 (Type/Class) | Propositional.ProverState |
| 2 (Data Constructor) | Propositional.ProverState |
| propProverState | Propositional.ProverState |
| propRange | Adl.As |
| Props | |
| 1 (Type/Class) | Isabelle.IsaSign |
| 2 (Data Constructor) | Isabelle.IsaSign |
| propS | Common.Keywords |
| props | |
| 1 (Function) | Adl.As |
| 2 (Function) | Isabelle.IsaSign |
| propsArgs | Isabelle.IsaSign |
| pROPsen_analysis | Propositional.Analysis |
| PropSL | |
| 1 (Type/Class) | Propositional.Sublogic |
| 2 (Data Constructor) | Propositional.Sublogic |
| propsl | CommonLogic.Sublogic |
| propsName | Isabelle.IsaSign |
| protect | Common.Earley |
| Protecting | Maude.AS_Maude |
| PROTEIN | SoftFOL.Sign |
| Prove | |
| 1 (Data Constructor) | TIP.AbsTIP |
| 2 (Data Constructor) | CMDL.DataTypes |
| prove | |
| 1 (Function) | OWL2.Theorem |
| 2 (Function) | VSE.Prove |
| prove1 | OWL2.Theorem |
| proveAll | CMDL.Commands |
| proveAnnos | OWL2.Theorem |
| proveAtNode | GUI.GraphLogic |
| ProveCmd | |
| 1 (Type/Class) | PGIP.Query |
| 2 (Data Constructor) | PGIP.Query |
| ProveCMDLautomatic | Logic.Prover |
| proveCMDLautomaticBatch | Logic.Prover |
| ProveCmdType | CMDL.DataTypes |
| ProveCurrent | Interfaces.Command |
| Proved | Logic.Prover |
| proved | PGIP.GraphQL.Result.ConservativityStatus |
| proveF | Proofs.AbstractState |
| ProveGUI | Logic.Prover |
| proveGUI | Logic.Prover |
| proveLocalSens | Static.GTheory |
| Proven | Static.DgUtils |
| provenConservativity | Static.DgUtils |
| ProvenGoals | Interfaces.Command |
| ProveNode | PGIP.Query |
| proveNode | HetsAPI.ProveCommands, HetsAPI.Commands, HetsAPI |
| proveNodeAndRecord | HetsAPI.ProveCommands |
| proveParams | PGIP.Query |
| Prover | |
| 1 (Data Constructor) | Interfaces.Command |
| 2 (Type/Class) | Logic.Prover |
| 3 (Data Constructor) | Logic.Prover |
| 4 (Data Constructor) | Persistence.Schema.Enums |
| 5 (Data Constructor) | Proofs.AbstractState |
| 6 (Type/Class) | PGIP.Output.Provers |
| prover | Interfaces.DataTypes |
| ProverBinary | SoftFOL.ProveDarwin |
| proverBinary | SoftFOL.ProveDarwin |
| ProverChange | Interfaces.DataTypes |
| proverCommand | THF.SZSProver |
| ProverFuncs | |
| 1 (Type/Class) | THF.SZSProver |
| 2 (Data Constructor) | THF.SZSProver |
| proverGUI | GUI.ProverGUI |
| proverHelpText | Interfaces.GenericATPState |
| ProverKind | Logic.Prover |
| ProverMode | PGIP.Shared |
| proverName | Logic.Prover |
| ProverOrConsChecker | Proofs.AbstractState |
| proverOutput | Interfaces.GenericATPState |
| proverRunning | Proofs.AbstractState |
| provers | Logic.Logic |
| proversMap | Proofs.AbstractState |
| proversOfLogic | |
| 1 (Function) | Logic.LGToXml |
| 2 (Function) | Logic.LGToJson |
| proversOnly | PGIP.Output.Formatting |
| ProverState | |
| 1 (Type/Class) | OWL2.ProverState |
| 2 (Data Constructor) | OWL2.ProverState |
| 3 (Type/Class) | TPTP.Prover.ProverState |
| 4 (Data Constructor) | TPTP.Prover.ProverState |
| proverState | Interfaces.GenericATPState |
| ProverStateTHF | |
| 1 (Type/Class) | THF.ProverState |
| 2 (Data Constructor) | THF.ProverState |
| proverSublogic | Logic.Prover |
| ProverTemplate | Logic.Prover |
| proverTimeLimit | SoftFOL.MathServParsing |
| ProverType | THF.SZSProver |
| proverUsable | Logic.Prover |
| proveSens | Static.GTheory |
| proveSensAux | Static.GTheory |
| ProveTheory | Driver.Options |
| proveVSE | Proofs.VSE |
| prPrec | TIP.PrintTIP |
| prSig | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | OWL2.Sublogic |
| 3 (Function) | Propositional.Sublogic |
| 4 (Function) | QBF.Sublogic |
| prSign | OWL2.ProfilesAndSublogics |
| prSymbolM | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | Propositional.Sublogic |
| 3 (Function) | QBF.Sublogic |
| prSymItemsM | CommonLogic.Sublogic |
| prSymM | |
| 1 (Function) | Propositional.Sublogic |
| 2 (Function) | QBF.Sublogic |
| prSymMapM | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | Propositional.Sublogic |
| 3 (Function) | QBF.Sublogic |
| prt | TIP.PrintTIP |
| prTPTPs | SoftFOL.ParseTPTP |
| pRule | Adl.Parse |
| pRuleDef | Adl.Parse |
| PRuleTerm | SoftFOL.Sign |
| PRuleUser | SoftFOL.Sign |
| prx | VSE.Prove |
| pr_basic_spec | CASL.Sublogic |
| pr_epsilon | CASL.Sublogic |
| pr_morphism | CASL.Sublogic |
| pr_sign | CASL.Sublogic |
| pr_symbol | CASL.Sublogic |
| pr_symb_items | CASL.Sublogic |
| pr_symb_map_items | CASL.Sublogic |
| PS | GUI.HTkUtils |
| Ps | GUI.HTkUtils |
| psAxiom | OWL2.ProfilesAndSublogics |
| pSemi | CSL.Parse_AS_Basic |
| pSemiSep | QVTR.Parser |
| PseudoColour | GUI.HTkUtils |
| psfile | GUI.HTkUtils |
| psheight | GUI.HTkUtils |
| pSignalOrAlways | Adl.Parse |
| psLogicalPart | TPTP.Prover.ProverState |
| pSqBrackets | Adl.Parse |
| pssize | GUI.HTkUtils |
| PStr | Common.Lib.Pretty |
| pString | Adl.Parse |
| pStringConcat | QVTR.Parser |
| pswidth | GUI.HTkUtils |
| pSym | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | QVTR.Parser |
| pSymC | Adl.Parse |
| pSymS | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | QVTR.Parser |
| PS_Functor | THF.As |
| PS_functor | TPTP.AS |
| PS_Variable | THF.As |
| PS_variable | TPTP.AS |
| PT | GUI.HTkUtils |
| Pt | GUI.HTkUtils |
| pTemplate | QVTR.Parser |
| pTerm | Adl.Parse |
| pTermD | Adl.Parse |
| ptext | Common.Lib.Pretty |
| pToken | |
| 1 (Function) | Common.Lexer |
| 2 (Function) | CommonLogic.Lexer_CLIF |
| 3 (Function) | CommonLogic.Lexer_KIF |
| pTransfHeader | QVTR.Parser |
| pTransformation | QVTR.Parser |
| pTwo | Adl.Parse |
| pTypeCS | QVTR.Parser |
| PT_Constant | THF.As |
| PT_Plain_Term | THF.As |
| pulseBar | |
| 1 (Function) | GUI.GtkUtils |
| 2 (Function) | GUI.Utils |
| pulseBarExt | GUI.GtkUtils |
| punctuate | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| pUnop | QVTR.Parser |
| Purple | GUI.GraphTypes |
| put | Common.Lib.State |
| putAssumps | HasCASL.Le |
| putBinders | HasCASL.Le |
| putClassMap | HasCASL.Le |
| putD | Common.SAX |
| putIfVerbose | Driver.Options |
| putItemAtBottom | GUI.HTkUtils |
| putItemOnTop | GUI.HTkUtils |
| putLocalTypeVars | HasCASL.Le |
| putLocalVars | HasCASL.Le |
| putM | Common.SAX |
| putParen | CASL.MixfixParser |
| putTypeMap | HasCASL.Le |
| putVarsInEmptyMap | CASL.StaticAna |
| putWinAtBottom | GUI.HTkUtils |
| putWinOnTop | GUI.HTkUtils |
| Pv | GUI.HTkUtils |
| PValTerm | SoftFOL.Sign |
| pVarDeclaration | QVTR.Parser |
| pVarid | Adl.Parse |
| PW | GUI.HTkUtils |
| Pw | GUI.HTkUtils |
| pWhen | QVTR.Parser |
| pWhere | QVTR.Parser |
| PX | GUI.HTkUtils |
| Px | GUI.HTkUtils |
| PY | GUI.HTkUtils |
| Py | GUI.HTkUtils |
| P_type | CASL.AS_Basic_CASL |