Index - P
| p | FreeCAD.As |
| PA | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | Haskell.HatParser |
| 3 (Data Constructor) | Haskell.HatParser |
| 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 |
| pairwise | OWL2.MS2Ship |
| pairWithError | GUI.HTkUtils |
| pair_symbols | Logic.Logic |
| Pane | GUI.HTkUtils |
| PanedWindow | GUI.HTkUtils |
| pAppS | Isabelle.IsaConsts |
| Par | |
| 1 (Data Constructor) | CspCASL.Print_CspCASL |
| 2 (Data Constructor) | TopHybrid.AS_TopHybrid |
| param | VSE.Parse |
| Parameter | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Data Constructor) | Maude.AS_Maude |
| parameters | QVTR.Sign |
| 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.Doc |
| 3 (Function) | CommonLogic.Lexer_KIF |
| 4 (Function) | CommonLogic.Lexer_CLIF |
| 5 (Function) | CspCASL.Parse_CspCASL_Process |
| parensent | CommonLogic.Parse_KIF |
| parensP | |
| 1 (Function) | OWL2.Parse |
| 2 (Function) | LF.MorphParser |
| Parent | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Common.XPath |
| parent | OWL2.ShipSyntax |
| parenTerm | HasCASL.PrintAs |
| parenTermDoc | HasCASL.PrintAs |
| parenTermRec | HasCASL.PrintAs |
| ParentInfo | THF.As |
| parentList | SoftFOL.Sign |
| parentName | Isabelle.IsaExport |
| parenTypeArg | HasCASL.ParseTerm |
| ParmProcname | CspCASL.AS_CspCASL |
| PARM_PROCNAME | CspCASL.AS_CspCASL |
| parPrintTPTP | SoftFOL.PrintTPTP |
| parse | |
| 1 (Function) | Maude.Language |
| 2 (Function) | Haskell.HatParser |
| parse1Context | LF.MorphParser |
| parse1Map | LF.MorphParser |
| parseAnno | Common.AnnoParser |
| parseAnnoId | Common.AnnoParser |
| parseAnnos | Common.AnnoState |
| parseAnnotations | Static.XGraph |
| parseArgument | CMDL.ParseProofScript |
| parseAx | CommonLogic.Parse_CLIF |
| parseAxItems | |
| 1 (Function) | CommonLogic.Parse_CLIF |
| 2 (Function) | CSL.Parse_AS_Basic |
| parseBase | RDF.Parse |
| parseBasicItems | |
| 1 (Function) | CommonLogic.Parse_CLIF |
| 2 (Function) | CSL.Parse_AS_Basic |
| parseBasicSpec | CSL.Parse_AS_Basic |
| parseBool | CASL.Sublogic |
| parseBoolAttribute | CSMOF.Parser |
| parseBracedRelationIds | CASL.CompositionTable.ParseSparQ |
| parseBrepXML | FreeCAD.Brep |
| parseBrepXML2 | FreeCAD.Brep |
| parseCalculusName | CASL.CompositionTable.ParseSparQ |
| 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 |
| parseCorrespondences | Syntax.Parse_AS_Structured |
| parseCSMOF | CSMOF.Parser |
| parseCSMOFXmi | CSMOF.ParseXmiAsLibDefn |
| parseCspId | CspCASL.Parse_CspCASL_Process |
| parseCurie | Common.IRI |
| parseDatatype | CASL.SortItem |
| parseDef | LF.MorphParser |
| parseDomain | CSL.Parse_AS_Basic |
| parseElements | CSMOF.Parser |
| parseElementSuperClass | CSMOF.Parser |
| parseEPDecl | CSL.Parse_AS_Basic |
| parseEPDefValOrDomDecl | CSL.Parse_AS_Basic |
| parseEPDomain | CSL.Parse_AS_Basic |
| parseEPVal | CSL.Parse_AS_Basic |
| parseError | CSL.Parse_AS_Basic |
| parseExp | LF.MorphParser |
| parseExpr | Common.XPath |
| parseExpression | CSL.Parse_AS_Basic |
| parseExtKind | HasCASL.ParseTerm |
| parseFromFile | Maude.Language |
| parseHidden | Static.FromXml |
| parseHoming | CASL.CompositionTable.ParseSparQ |
| parseId | Common.Token |
| parseIdBaOth | CASL.CompositionTable.ParseSparQ |
| parseIdBaOths | CASL.CompositionTable.ParseSparQ |
| parseIntegerAttribute | CSMOF.Parser |
| parseInverse | CASL.CompositionTable.ParseSparQ |
| parseIRI | Common.IRI |
| parseIRICurie | Common.IRI |
| parseIRIManchester | Common.IRI |
| parseIRIReference | Common.IRI |
| parseLine | CMDL.ParseProofScript |
| parseLineAnnos | Common.AnnoState |
| parseLinks | CSMOF.Parser |
| parseList | VSE.Prove |
| parseMap | LF.MorphParser |
| parseMapping | Syntax.Parse_AS_Structured |
| parseMathServOut | SoftFOL.MathServParsing |
| parseModels | CSMOF.Parser |
| parseModuleName | Haskell.HatParser |
| parseMorphism | LF.MorphParser |
| parseMorphType | LF.MorphParser |
| parseMsg | PGIP.XMLstate |
| parseNodeName | Static.DgUtils |
| parseObject | RDF.Parse |
| parseObjects | CSMOF.Parser |
| parseOpDecl | CSL.Parse_AS_Basic |
| parseOWL | OWL2.ParseOWLAsLibDefn |
| parsePolyId | HasCASL.ParseTerm |
| parsePredicate | RDF.Parse |
| parsePredObjects | RDF.Parse |
| parsePredObjList | RDF.Parse |
| parsePredSymb | CASL_DL.Parse_AS |
| parsePrefix | RDF.Parse |
| 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 |
| 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 |
| parseString | Common.Lexer |
| parseStringAttribute | CSMOF.Parser |
| parseSubject | RDF.Parse |
| parseSublog | ExtModal.Sublogic |
| parseSublogic | Logic.Logic |
| parseSublogics | CMDL.DataTypesUtils |
| 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 |
| parseToken | Common.Lexer |
| parseTokens | Haskell.HatParser |
| parseTPTP | SoftFOL.ParseTPTPAsLibDefn |
| parseTriples | RDF.Parse |
| parseType | HasCASL.ParseTerm |
| parseVar | CSL.Parse_AS_Basic |
| parseVarDecl | CSL.Parse_AS_Basic |
| parseVarList | CSL.Parse_AS_Basic |
| parseVertex | FreeCAD.Brep |
| parseWithEq | LF.MorphParser |
| parseXmi | CSMOF.ParseXmiAsLibDefn |
| parseXmiMetamodel | QVTR.ParseQvtAsLibDefn |
| parseXml | |
| 1 (Function) | Common.XmlExpat |
| 2 (Function) | 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.OrderedMap |
| 2 (Function) | Common.Lib.MapSet |
| 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 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| Pat | Haskell.HatParser |
| PatBrand | Comorphisms.HasCASL2IsabelleHOL |
| patBrand | Comorphisms.HasCASL2IsabelleHOL |
| PatElem | Adl.As |
| Path | |
| 1 (Type/Class) | Common.XPath |
| 2 (Data Constructor) | Common.XPath |
| path | |
| 1 (Function) | Common.Lib.Rel |
| 2 (Function) | Common.XPath |
| 3 (Function) | OMDoc.DataTypes |
| patHasNoArg | Comorphisms.HasCASL2IsabelleHOL |
| PathExpr | Common.XPath |
| pathExpr | Common.XPath |
| pathFromFreeDef | Logic.Prover |
| 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 |
| pattern | HasCASL.ParseTerm |
| patternS | OWL2.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 |
| 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) | QVTR.Parser |
| 3 (Function) | CSL.Parse_AS_Basic |
| 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 | Haskell.HatParser |
| Pd | GUI.HTkUtils |
| pDeclaration | Adl.Parse |
| pDomain | QVTR.Parser |
| pDuopAnd | QVTR.Parser |
| pDuopOr | QVTR.Parser |
| PE | GUI.HTkUtils |
| pelletConsChecker | OWL2.ProvePellet |
| pelletEL | OWL2.ProvePellet |
| pelletEnv | OWL2.ProvePellet |
| pelletJar | OWL2.ProvePellet |
| pelletProver | OWL2.ProvePellet |
| pencil | GUI.HTkUtils |
| pendingChangesLock | GUI.UDGUtils |
| pEqual | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | QVTR.Parser |
| pEqualExpre | QVTR.Parser |
| percentS | Common.Keywords |
| percents | Common.Keywords |
| periodS | CSL.Keywords |
| pEverything | QVTR.Parser |
| pExpl | Adl.Parse |
| pExplain | Adl.Parse |
| pExpr | Adl.Parse |
| Pf | GUI.HTkUtils |
| pFactor | Adl.Parse |
| pFactorI | Adl.Parse |
| 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 | |
| 1 (Type/Class) | Haskell.HatParser |
| 2 (Data Constructor) | Common.XPath |
| Pi | |
| 1 (Data Constructor) | LF.Sign |
| 2 (Data Constructor) | DFOL.AS_DFOL |
| pick | GUI.HTkUtils |
| pIdentifier | QVTR.Parser |
| PiForAll | THF.As |
| pImpl | Adl.Parse |
| piOMS | LF.Twelf2GR |
| piPrec | DFOL.Utils |
| pIS | Common.XPath |
| piS | CSL.Keywords |
| pIsTop | QVTR.Parser |
| Pixels | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| pixels | GUI.HTkUtils |
| PI_Parent_Info | THF.As |
| pJson | Common.Json |
| PK | GUI.HTkUtils |
| Pk | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Data Constructor) | Adl.As |
| 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) | OWL2.Parse |
| 2 (Function) | LF.MorphParser |
| 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) | THF.As |
| 2 (Data Constructor) | SoftFOL.Sign |
| 3 (Data Constructor) | HasCASL.As |
| plainAtom | CommonLogic.Parse_KIF |
| PlainAxiom | OWL2.MS |
| plainBlock | Common.Parsec |
| PlainFormula | |
| 1 (Data Constructor) | Propositional.Sublogic |
| 2 (Data Constructor) | QBF.Sublogic |
| plainHide | HasCASL.Symbol |
| PlainModule | Haskell.HatParser |
| plainModule | Haskell.HatParser |
| 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 |
| pLexerPass0 | Haskell.HatParser |
| 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 | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | OWL2.ShipSyntax |
| 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) | GUI.HTkUtils |
| 2 (Data Constructor) | Adl.As |
| pmap | OWL2.Morphism |
| pMinus | Adl.Parse |
| pModExcl | CommonLogic.Parse_CLIF |
| pModule | CommonLogic.Parse_CLIF |
| pMorphism | Adl.Parse |
| PN | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | Haskell.HatParser |
| 3 (Data Constructor) | Haskell.HatParser |
| pName | QVTR.As |
| PNameLn | |
| 1 (Type/Class) | Common.IRI |
| 2 (Data Constructor) | Common.IRI |
| PNT | |
| 1 (Data Constructor) | Haskell.HatParser |
| 2 (Type/Class) | Haskell.HatParser, Haskell.HatAna |
| 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 |
| populateGoalsListBox | GUI.HTkUtils |
| Population | Adl.As |
| popup | GUI.HTkUtils |
| POrder | Common.Partial |
| port | OWL2.Parse |
| Pos | Common.Id |
| pos | Haskell.HatParser |
| PosInf | CSL.TreePO |
| posInputParser | CSL.Parse_AS_Basic |
| posInt | CASL_DL.PredefinedCASLAxioms |
| Position | GUI.HTkUtils |
| position | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | FreeCAD.As |
| 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 | OWL2.Parse |
| Postfix | OMDoc.DataTypes |
| postProcessCmd | PGIP.XMLparsing |
| postRules | Common.Earley |
| PostScript | GUI.HTkUtils |
| postscript | GUI.HTkUtils |
| Postulated | LF.Morphism |
| powerof10 | HolLight.Helper |
| PP | |
| 1 (Type/Class) | Haskell.HatParser |
| 2 (Data Constructor) | Haskell.HatParser |
| Pp | GUI.HTkUtils |
| pp | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | Haskell.HatParser |
| ppABox | OWL2.ShipSyntax |
| pParens | Adl.Parse |
| PParTerm | SoftFOL.Sign |
| pPatElem | Adl.Parse |
| pPattern | Adl.Parse |
| ppBox | OWL2.ShipSyntax |
| ppcon | Haskell.HatParser |
| ppConcept | OWL2.ShipSyntax |
| ppConceptRhs | OWL2.ShipSyntax |
| ppconop | Haskell.HatParser |
| ppContext | Haskell.HatParser |
| ppEqOrLess | OWL2.ShipSyntax |
| ppFunDeps | Haskell.HatParser |
| ppGenTerm | SoftFOL.ParseTPTP |
| ppInfixName | Haskell.HatParser |
| ppInfixOp | Haskell.HatParser |
| ppJson | Common.Json |
| ppJunction | OWL2.ShipSyntax |
| ppList | |
| 1 (Function) | Common.DocUtils |
| 2 (Function) | PGIP.Query |
| ppListOfList | CASL.Kif |
| PPM | GUI.HTkUtils |
| ppMap | Common.DocUtils |
| pPopulation | Adl.Parse |
| ppp | OWL2.ShipSyntax |
| ppPairlist | Common.DocUtils |
| pppConcept | OWL2.ShipSyntax |
| pppNegConcept | OWL2.ShipSyntax |
| ppPrintTerm | HolLight.Sentence |
| ppPrintType | HolLight.Helper |
| pppRole | OWL2.ShipSyntax |
| pPragma | Adl.Parse |
| ppRangedLL | CASL.Kif |
| ppRBox | OWL2.ShipSyntax |
| pPrec | Adl.Parse |
| ppRhs | Haskell.HatParser |
| pPrimitiveTypeDomain | QVTR.Parser |
| ppRole | OWL2.ShipSyntax |
| ppRoleType | OWL2.ShipSyntax |
| pProp' | Adl.Parse |
| pPropertyTemplate | QVTR.Parser |
| pPropertyTemplateList | QVTR.Parser |
| pProps | Adl.Parse |
| ppSet | Common.DocUtils |
| ppShipOnt | OWL2.MS2Ship |
| ppTBox | OWL2.ShipSyntax |
| ppTBoxCons | OWL2.ShipSyntax |
| 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 |
| PrDecl | Comorphisms.Hs2HOLCFaux |
| 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 |
| PredAbs | Haskell.HatParser |
| predAbs | Haskell.HatParser |
| PredApp | Haskell.HatParser |
| predApp | Haskell.HatParser |
| PredArg | Haskell.HatParser |
| predArgs | CASL.Sign |
| PredArrow | Haskell.HatParser |
| predArrow | Haskell.HatParser |
| PredAsItemType | |
| 1 (Data Constructor) | CASL.Sign |
| 2 (Data Constructor) | HasCASL.Le |
| PreDatatype | HasCASL.Le |
| PredComp | Haskell.HatParser |
| predComp | Haskell.HatParser |
| 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 |
| predefRDFSAnnoProps | OWL2.Keywords |
| predefSign | CASL_DL.PredefinedCASLAxioms |
| predFormula | CSL.Parse_AS_Basic |
| PredGfp | Haskell.HatParser |
| predGfp | Haskell.HatParser |
| predGfp' | Haskell.HatParser |
| Predicate | |
| 1 (Data Constructor) | Taxonomy.MMiSSOntology |
| 2 (Type/Class) | RDF.AS |
| 3 (Data Constructor) | RDF.AS |
| 4 (Type/Class) | Haskell.HatParser |
| predicate | Common.XPath |
| PredicateEntity | RDF.AS |
| PredicateI | Haskell.HatParser |
| PredicateObjectList | |
| 1 (Type/Class) | RDF.AS |
| 2 (Data Constructor) | RDF.AS |
| predicates | |
| 1 (Function) | RDF.Sign |
| 2 (Function) | SoftFOL.Sign |
| PredicateTerm | RDF.AS |
| Predication | |
| 1 (Data Constructor) | CASL.AS_Basic_CASL |
| 2 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| 3 (Data Constructor) | QBF.AS_BASIC_QBF |
| predId | Haskell.HatParser |
| predIdApplDoc | Common.Doc |
| predIdToSSymbol | CASL.ToSExpr |
| PredInfixApp | Haskell.HatParser |
| predInfixApp | Haskell.HatParser |
| PREDITEM | QBF.AS_BASIC_QBF |
| PredItem | QBF.AS_BASIC_QBF |
| predItem | CASL.OpItem |
| predItems | CASL.Parse_AS_Basic |
| PredKind | DFOL.Sign |
| PredLfp | Haskell.HatParser |
| predLfp | Haskell.HatParser |
| predLfp' | Haskell.HatParser |
| PredLifted | Haskell.HatParser |
| predLifted | Haskell.HatParser |
| PredMap | |
| 1 (Type/Class) | CASL.Sign |
| 2 (Type/Class) | SoftFOL.Sign |
| predMap | |
| 1 (Function) | CASL.Sign |
| 2 (Function) | SoftFOL.Sign |
| predMapToSExprs | CASL.ToSExpr |
| PredNeg | Haskell.HatParser |
| predNeg | Haskell.HatParser |
| PredNil | Haskell.HatParser |
| predNil | Haskell.HatParser |
| PredOp | Haskell.HatParser |
| predOp | Haskell.HatParser |
| PredParen | Haskell.HatParser |
| predParen | Haskell.HatParser |
| predPrec | DFOL.Utils |
| predS | Common.Keywords |
| preds2syms | Maude.PreComorphism |
| PredStrong | Haskell.HatParser |
| predStrong | Haskell.HatParser |
| 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) | OMDoc.DataTypes |
| 2 (Type/Class) | RDF.AS |
| 3 (Data Constructor) | HasCASL.PrintAs |
| prefix | |
| 1 (Function) | OWL2.Parse |
| 2 (Function) | CommonLogic.Parse_CLIF |
| prefixBy | Framework.WriteLogicUtils |
| prefixC | OWL2.ColonKeywords |
| PrefixChoice | CspCASLProver.TransProcesses |
| prefixDeclaration | OWL2.MS |
| prefixed | Haskell.HatAna |
| 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) | RDF.AS |
| 2 (Function) | OWL2.Sign |
| PrefixMapping | CommonLogic.AS_CommonLogic |
| prefixMode | CSL.Print_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 |
| preludeConflicts | Haskell.HatAna |
| preludeConstr | Haskell.HatAna |
| preludeConstrs | Haskell.HatAna |
| preludeDecls | Haskell.PreludeString |
| preludeEntity | Haskell.HatAna |
| preludeMatch | Haskell.HatAna |
| preludeSign | Haskell.HatAna |
| preludeTypes | Haskell.HatAna |
| preludeValues | Haskell.HatAna |
| premiseCloseS | Isabelle.IsaConsts |
| premiseOpenS | Isabelle.IsaConsts |
| Premises | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| prepareAndCallVSE | VSE.Prove |
| prepareBasicTheory | OWL2.ManchesterPrint |
| prepareForConsChecking | Proofs.AbstractState |
| prepareForProving | Proofs.AbstractState |
| prepareSenNames | Common.ProofUtils |
| prepInst | Comorphisms.Hs2HOLCFaux |
| prepPunctBar | Fpl.As |
| prepPunctuate | Common.DocUtils |
| 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, CommonLogic.Sign, CommonLogic.Morphism, Temporal.Sign, Temporal.Morphism, Temporal.Symbol, Propositional.Sign, Propositional.Morphism, Propositional.Symbol, CSL.Sign, CSL.Morphism, QBF.Morphism, QBF.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 |
| prettyPrintErrList | CMDL.Utils |
| prettyProcdefs | VSE.As |
| prettyProcKind | VSE.As |
| prettyRange | Common.Result |
| prettyRigor | ExtModal.Print_AS |
| prettySExpr | Common.SExpr |
| prettySingleQuoted | THF.PrintTHF |
| prettyTuple | THF.PrintTHF |
| PrettyType | Driver.Options |
| prettyTypes | HolLight.Sign |
| prettyUniv | Common.Doc |
| prettyUpperWord | THF.PrintTHF |
| prettyUsefulInfo | THF.PrintTHF |
| prettyVariableList | THF.PrintTHF |
| PrettyXml | Driver.Options |
| preTypes | Isabelle.Translate |
| prevA | CSL.TreePO |
| previouslyS | ExtModal.Keywords |
| PrExp | Comorphisms.Hs2HOLCFaux |
| Prf | Driver.Options |
| PrfIn | Driver.Options |
| prFormulaM | |
| 1 (Function) | Propositional.Sublogic |
| 2 (Function) | QBF.Sublogic |
| prfSuffix | Driver.Options |
| Prim | CspCASL.Print_CspCASL |
| primary | OWL2.Parse |
| primaryOrDataRange | OWL2.Parse |
| primCoerce | Logic.Coerce |
| primConcept | OWL2.ShipSyntax |
| 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 |
| primRole | OWL2.ShipSyntax |
| primTerm | HasCASL.ParseTerm |
| primType | |
| 1 (Function) | QVTR.As |
| 2 (Function) | HasCASL.ParseTerm |
| primTypeOrId | HasCASL.ParseTerm |
| primTypePattern | HasCASL.ParseTerm |
| primTypePatternOrId | HasCASL.ParseTerm |
| PrincipalNodeType | Common.XPath |
| principalNodeType | Common.XPath |
| PrincipalSymbol | THF.As |
| Maude.AS_Maude | |
| Printable | Haskell.HatParser |
| printable | Common.Lexer |
| printALTERNATIVE | CASL.ToDoc |
| printAndOr | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printAnnFrameBit | OWL2.ManchesterPrint |
| printAnnotatedList | OWL2.Print |
| printAnnotation | OWL2.Print |
| printAnnotationList | Common.DocUtils |
| printAnnotations | OWL2.Print |
| printAnnoted | Common.DocUtils |
| printAnnotedBulletFormulas | CASL.ToDoc |
| printAnnotedCoDatas | CoCASL.Print_AS |
| printArgPattern | CSL.Print_AS |
| printArgs | |
| 1 (Function) | CspCASL.Print_CspCASL |
| 2 (Function) | CSL.Print_AS |
| printAssDefinition | CSL.Print_AS |
| printAtom | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printAttr | CASL.ToDoc |
| printAxiom | |
| 1 (Function) | RDF.Print |
| 2 (Function) | OWL2.ManchesterPrint |
| printAxioms | RDF.Print |
| printBasicItems | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printBasicSpec | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printBasicTheory | OWL2.ManchesterPrint |
| printBASIC_SPEC | CASL.ToDoc |
| printBinder | HolLight.Sentence |
| printBO | FreeCAD.PrintAs |
| printBoolSent | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printCfgText | Interfaces.GenericATPState |
| printChanDecl | CspCASL.Print_CspCASL |
| printCharact | OWL2.Print |
| 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 |
| printDataIRI | OWL2.Print |
| printDataRange | OWL2.Print |
| printDatatype | OWL2.AS |
| printDD | Fpl.As |
| printDecls | DFOL.AS_DFOL |
| printDiag | Static.ArchDiagram |
| printDiags | Common.Result |
| printDoc | FreeCAD.PrintAs |
| printDocument | RDF.Print |
| printEither | Common.DocUtils |
| printEO | FreeCAD.PrintAs |
| printEq0 | HasCASL.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 |
| printFV | OWL2.Print |
| printGenVarDecls | HasCASL.PrintAs |
| printGroupSpec | Syntax.Print_AS_Structured |
| printHead | HasCASL.PrintAs |
| printHybridSign | Hybrid.Print_AS |
| printImplEq | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printImport | OWL2.ManchesterPrint |
| printImportation | CommonLogic.AS_CommonLogic |
| printInfix | CASL.ToDoc |
| printInterval | CSL.Print_AS |
| printIRI | OWL2.Print |
| printIsaTheory | Isabelle.IsaPrint |
| printItScheme | HasCASL.PrintAs |
| printKind | HasCASL.PrintAs |
| printList0 | HasCASL.PrintAs |
| printListFrameBit | OWL2.ManchesterPrint |
| printLogicDef | Framework.AS |
| printMap | Common.DocUtils |
| printMap1 | HasCASL.PrintLe |
| printMaybe | Common.DocUtils |
| PrintMenuOption | GUI.UDGUtils |
| printMisc | OWL2.ManchesterPrint |
| printMiscBit | OWL2.ManchesterPrint |
| printMODALITY | CoCASL.Print_AS |
| printModalSign | Modal.Print_AS |
| printModule | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | Haskell.CreateModules |
| printMPrec | ExtModal.Print_AS |
| printName | CommonLogic.Print_KIF |
| printNamedFormula | TopHybrid.Print_AS |
| printNamedSen | Isabelle.IsaPrint |
| printNamedSentenceTHF | THF.Print |
| printNameOrSeqMark | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printNames | DFOL.AS_DFOL |
| printNegatedPrimary | OWL2.Print |
| printNodes | RDF.Print |
| printNSen | Adl.Sign |
| printObject | |
| 1 (Function) | RDF.Print |
| 2 (Function) | FreeCAD.PrintAs |
| printObjPropExp | OWL2.Print |
| printOMapElemWOrd | Logic.Prover |
| printOneNamed | OWL2.ManchesterPrint |
| printOntology | OWL2.ManchesterPrint |
| printOntologyDocument | OWL2.ManchesterPrint |
| printOpItem | CASL.ToDoc |
| printOpname | CSL.Print_AS |
| printOptArgDecls | CASL.ToDoc |
| 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 |
| printPrefixes | OWL2.ManchesterPrint |
| printPrimary | 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 |
| printQuant | |
| 1 (Function) | CommonLogic.AS_CommonLogic |
| 2 (Function) | CommonLogic.Print_KIF |
| printRational | CSL.Print_AS |
| printRDFBasicTheory | RDF.Print |
| printRecord | CASL.ToDoc |
| printRelation | OWL2.Print |
| printRestrTypedecl | VSE.As |
| printRowVar | CommonLogic.Print_KIF |
| 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) | RDF.Print |
| 2 (Function) | OWL2.ManchesterPrint |
| 3 (Function) | CASL.Sign |
| 4 (Function) | Haskell.HatAna |
| printSignElem | OWL2.ManchesterPrint |
| printSK | HasCASL.PrintAs |
| printSortItem | CASL.ToDoc |
| printStatement | RDF.Print |
| printStatistics | Static.CheckGlobalContext |
| printSubject | RDF.Print |
| printSymbItems | CommonLogic.AS_CommonLogic |
| printSymbMapItems | CommonLogic.AS_CommonLogic |
| printSymbol | |
| 1 (Function) | CommonLogic.Symbol |
| 2 (Function) | DFOL.Symbol |
| 3 (Function) | CSL.Symbol |
| printSymbOrMap | CommonLogic.AS_CommonLogic |
| printTerm | |
| 1 (Function) | HolLight.Sentence |
| 2 (Function) | Isabelle.IsaPrint |
| 3 (Function) | RDF.Print |
| 4 (Function) | CommonLogic.AS_CommonLogic |
| 5 (Function) | CommonLogic.Print_KIF |
| 6 (Function) | CASL.ToDoc |
| 7 (Function) | HasCASL.PrintAs |
| 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 |
| PrintTPTP | SoftFOL.PrintTPTP |
| printTPTP | SoftFOL.PrintTPTP |
| printTPTPTHF | THF.PrintTHF |
| printTrailer | Common.DocUtils |
| printTriple | Common.DocUtils |
| printTriples | RDF.Print |
| PrintTypeConv | Logic.Logic |
| printTypeId | HasCASL.PrintAs |
| printTypeScheme | HasCASL.PrintAs |
| printTypeToken | HasCASL.PrintAs |
| printUnion | Syntax.Print_AS_Structured |
| 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 |
| priorVersion | OWL2.Keywords |
| priS | CSL.Keywords |
| prJunct | ExtModal.Print_AS |
| prMor | |
| 1 (Function) | OWL2.Sublogic |
| 2 (Function) | CommonLogic.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 |
| 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) | Isabelle.IsaConsts |
| 2 (Function) | HasCASL.ParseTerm |
| Product | THF.As |
| productId | HasCASL.AsUtils |
| productS | CSL.Keywords |
| Profile | |
| 1 (Type/Class) | VSE.As |
| 2 (Data Constructor) | VSE.As |
| profile | VSE.Parse |
| profileContainsSort | CASL.SymbolMapAnalysis |
| 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 |
| ProjectSublogicM | Logic.Logic |
| projectSublogicM | Logic.Logic |
| 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) | SoftFOL.MathServParsing |
| 2 (Function) | Isabelle.IsaSign |
| 3 (Function) | HolLight.Sentence |
| ProofActions | |
| 1 (Type/Class) | Proofs.AbstractState |
| 2 (Data Constructor) | Proofs.AbstractState |
| 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 |
| ProofHistory | Static.DevGraph |
| proofHistory | Static.DevGraph |
| proofInfo | SoftFOL.EProver |
| proofLists | SoftFOL.Sign |
| proofMenu | GUI.GraphLogic |
| ProofMethod | Isabelle.IsaSign |
| proofOf | SoftFOL.MathServParsing |
| 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 |
| proofStatusToGStatus | Common.GtkGoal |
| ProofTree | |
| 1 (Type/Class) | Common.ProofTree |
| 2 (Data Constructor) | Common.ProofTree |
| proofTree | Logic.Prover |
| proofType | SoftFOL.Sign |
| Prop | |
| 1 (Data Constructor) | Haskell.HatParser |
| 2 (Type/Class) | Haskell.HatParser |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| 5 (Type/Class) | Adl.As |
| 6 (Data Constructor) | Adl.As |
| prop | |
| 1 (Function) | Haskell.HatParser |
| 2 (Function) | 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 |
| PropApp | Haskell.HatParser |
| propApp | Haskell.HatParser |
| propConj | Haskell.HatParser |
| propConsChecker | Propositional.Prove |
| PropDecl | Haskell.HatParser |
| PropDI | Haskell.HatParser |
| propDisj | Haskell.HatParser |
| PropEqual | Haskell.HatParser |
| propEqual | Haskell.HatParser |
| Properties | Common.Lib.Tabular |
| properties | |
| 1 (Function) | QVTR.As |
| 2 (Function) | CSMOF.Sign |
| propertiesC | OWL2.ColonKeywords |
| Property | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | CSMOF.As |
| 3 (Data Constructor) | CSMOF.As |
| property | CSMOF.Sign |
| propertyClass | CSMOF.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 |
| PropExp | Haskell.HatParser |
| PropFormulae | Propositional.Sublogic |
| PropHas | Haskell.HatParser |
| propHas | Haskell.HatParser |
| propId | Haskell.HatParser |
| 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) | Temporal.Morphism |
| 3 (Function) | Propositional.Morphism |
| 4 (Function) | QBF.Morphism |
| propName | QVTR.As |
| PropNeg | Haskell.HatParser |
| propNeg | Haskell.HatParser |
| PropOp | |
| 1 (Type/Class) | Haskell.HatParser |
| 2 (Data Constructor) | Haskell.HatParser |
| propOp | Haskell.HatParser |
| Proportional | GUI.HTkUtils |
| Propositional | |
| 1 (Data Constructor) | CommonLogic.Sublogic |
| 2 (Type/Class) | Propositional.Logic_Propositional |
| 3 (Data Constructor) | Propositional.Logic_Propositional |
| Propositional2OWL2 | |
| 1 (Type/Class) | OWL2.Propositional2OWL2 |
| 2 (Data Constructor) | OWL2.Propositional2OWL2 |
| PropPA | Haskell.HatParser |
| PropParen | Haskell.HatParser |
| propParen | Haskell.HatParser |
| propPats | Isabelle.IsaSign |
| PropPP | Haskell.HatParser |
| propProp | Adl.As |
| PropProverState | |
| 1 (Type/Class) | Propositional.ProverState |
| 2 (Data Constructor) | Propositional.ProverState |
| propProverState | Propositional.ProverState |
| propRange | Adl.As |
| proprec | Haskell.HatParser |
| Props | |
| 1 (Type/Class) | Isabelle.IsaSign |
| 2 (Data Constructor) | Isabelle.IsaSign |
| propS | Common.Keywords |
| props | |
| 1 (Function) | Isabelle.IsaSign |
| 2 (Function) | Adl.As |
| propsArgs | Isabelle.IsaSign |
| pROPsen_analysis | Propositional.Analysis |
| PropSL | |
| 1 (Type/Class) | Propositional.Sublogic |
| 2 (Data Constructor) | Propositional.Sublogic |
| propsl | CommonLogic.Sublogic |
| propsName | Isabelle.IsaSign |
| propstruct | Haskell.HatParser |
| protect | Common.Earley |
| Protecting | Maude.AS_Maude |
| PROTEIN | SoftFOL.Sign |
| Prove | CMDL.DataTypes |
| prove | |
| 1 (Function) | OWL2.Theorem |
| 2 (Function) | VSE.Prove |
| 3 (Function) | Proofs.VSE |
| prove1 | OWL2.Theorem |
| proveAll | CMDL.Commands |
| proveAnnList | 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 |
| proveF | Proofs.AbstractState |
| proveFB | OWL2.Theorem |
| ProveGUI | Logic.Prover |
| proveGUI | Logic.Prover |
| proveLFB | OWL2.Theorem |
| proveList | OWL2.Theorem |
| proveLocalSens | Static.GTheory |
| Proven | Static.DgUtils |
| ProvenGoals | Interfaces.Command |
| ProveNode | PGIP.Query |
| proveParams | PGIP.Query |
| Prover | |
| 1 (Data Constructor) | Interfaces.Command |
| 2 (Type/Class) | Logic.Prover |
| 3 (Data Constructor) | Logic.Prover |
| prover | Interfaces.DataTypes |
| 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.Query |
| proverName | Logic.Prover |
| proverOutput | Interfaces.GenericATPState |
| proverRunning | Proofs.AbstractState |
| provers | Logic.Logic |
| proversMap | Proofs.AbstractState |
| proversOfLogic | Logic.LGToXml |
| ProverState | |
| 1 (Type/Class) | OWL2.ProverState |
| 2 (Data Constructor) | OWL2.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 |
| PrPat | Comorphisms.Hs2HOLCFaux |
| prSig | |
| 1 (Function) | OWL2.Sublogic |
| 2 (Function) | CommonLogic.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 |
| 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 |
| pSame | OWL2.ShipSyntax |
| psAxiom | OWL2.ProfilesAndSublogics |
| pSemi | CSL.Parse_AS_Basic |
| pSemiSep | QVTR.Parser |
| PseudoColour | GUI.HTkUtils |
| psfile | GUI.HTkUtils |
| psheight | GUI.HTkUtils |
| pSignalOrAlways | Adl.Parse |
| 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_Variable | THF.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_KIF |
| 3 (Function) | CommonLogic.Lexer_CLIF |
| 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 |