Index - U
| UA_constant | TPTP.AS |
| UA_system | TPTP.AS |
| uBoolean | VSE.Ana |
| UCA | TPTP.AS |
| Uca | THF.As |
| uFalse | VSE.Ana |
| UI_general_list | TPTP.AS |
| UI_items | TPTP.AS |
| UMinus | THF.As |
| Uminus | TPTP.AS |
| unActionKey | Persistence.Schema |
| unaryExpr | Common.XPath |
| Unary_connective | TPTP.AS |
| unAxiomKey | Persistence.Schema |
| unboundTypevars | HasCASL.TypeAna |
| UNC | TPTP.AS |
| UnC | SoftFOL.Sign |
| Unc | THF.As |
| unchecked | Common.AutoProofUtils |
| uncolored | Driver.Options |
| unConjectureKey | Persistence.Schema |
| unConservativityStatusKey | Persistence.Schema |
| unConsistencyCheckAttemptKey | Persistence.Schema |
| uncurry3 | PGIP.GraphQL.Resolver.ToResult |
| und | TopHybrid.AS_TopHybrid |
| underline | GUI.HTkUtils |
| underlined | GUI.HTkUtils |
| UnderLogic | TopHybrid.AS_TopHybrid |
| underlogicList | TopHybrid.Logic_TopHybrid |
| underlogics | TopHybrid.Logic_TopHybrid |
| unDiagnosisKey | Persistence.Schema |
| undo | GUI.GraphLogic |
| undoAllChanges | Static.History |
| UndoCmd | Interfaces.Command |
| unDocumentKey | Persistence.Schema |
| unDocumentLinkKey | Persistence.Schema |
| UndoHist | Interfaces.Command |
| undoHistStep | Static.History |
| undoList | Interfaces.DataTypes |
| undoOneStep | Interfaces.History |
| undoOneStepWithUpdate | Interfaces.History |
| UndoRedoElem | Interfaces.DataTypes |
| unEsc | PGIP.Query |
| unescapeTPTPFileId | TPTP.Common |
| unescapeTPTPFileIRI | TPTP.Common |
| unescapeTPTPFilePath | TPTP.Common |
| unescapeTPTPFileToken | TPTP.Common |
| UnExp | Adl.As |
| unFileRangeKey | Persistence.Schema |
| unFileVersionKey | Persistence.Schema |
| unGeneratedAxiomKey | Persistence.Schema |
| unHetsKey | Persistence.Schema |
| Uni | |
| 1 (Data Constructor) | Adl.As |
| 2 (Data Constructor) | TopHybrid.AS_TopHybrid |
| unify' | THF.Poly |
| unifyDocs | OWL2.Rename |
| unifyTwo | OWL2.Rename |
| unifyType | THF.Poly |
| unifyWith1 | OWL2.Rename |
| unindexed | Isabelle.IsaSign |
| Union | |
| 1 (Data Constructor) | CASL.CompositionTable.ModelFormula |
| 2 (Data Constructor) | ExtModal.AS_ExtModal |
| 3 (Data Constructor) | Syntax.AS_Structured |
| union | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.Lib.Rel |
| 3 (Function) | Maude.Sign |
| 4 (Function) | Maude.Morphism |
| unionCspCASLSign | CspCASL.SignCSP |
| unionExpr | Common.XPath |
| unionGenAx | CASL.StaticAna |
| UnionOf | OWL2.AS |
| unionProcs | VSE.As |
| unionS | Isabelle.IsaConsts |
| unions | Logic.Grothendieck |
| unionV | Isabelle.IsaConsts |
| union_sig | Isabelle.IsaSign |
| union_tsig | Isabelle.IsaSign |
| UniqName | OMDoc.DataTypes |
| uniqPrefix | OMDoc.DataTypes |
| uniqSimpleSource | GUI.UDGUtils |
| Unique | |
| 1 (Data Constructor) | HasCASL.As |
| 2 (Type/Class) | Persistence.Schema |
| 3 (Type/Class) | THF.Utils |
| 4 (Data Constructor) | THF.Utils |
| unique | Common.Doc |
| uniqueBotName | CASL.Project |
| uniqueBottom | Comorphisms.CASL2SubCFOL |
| uniqueInjName | CASL.Inject |
| UniqueItem | Syntax.AS_Library |
| UniqueLanguageIdLogicSlug | Persistence.Schema |
| UniqueLanguageMappingIdLogicMappingSlug | Persistence.Schema |
| UniqueLanguageSlug | Persistence.Schema |
| UniqueLocIdBaseLocId | Persistence.Schema |
| UniqueLogicInclusionName | Persistence.Schema |
| UniqueLogicInclusionSlug | Persistence.Schema |
| UniqueLogicTranlationStepListEntry | Persistence.Schema |
| UniqueLogicTranslationName | Persistence.Schema |
| UniqueLogicTranslationSlug | Persistence.Schema |
| UniqueOrganizationalUnitSlug | Persistence.Schema |
| uniqueProjName | CASL.Project |
| uniqueQuantifiedVars | QBF.Tools |
| uniqueQuantifiedVars' | QBF.Tools |
| UniqueReasonerSlugAndKind | Persistence.Schema |
| UniqueSerializationLanguageIdSerializationSlug | Persistence.Schema |
| UniqueT | THF.Utils |
| Unique_existential | CASL.AS_Basic_CASL |
| uniResult | HasCASL.Unify |
| unite | |
| 1 (Function) | CSL.Sign |
| 2 (Function) | CASL.MixfixParser |
| 3 (Function) | CommonLogic.Sign |
| 4 (Function) | HasCASL.AsToLe |
| 5 (Function) | NeSyPatterns.Sign |
| 6 (Function) | Propositional.Sign |
| 7 (Function) | THF.Sign |
| 8 (Function) | Temporal.Sign |
| unite2 | CASL.MixfixParser |
| uniteCASLSign | CASL.Sign |
| uniteL | CommonLogic.Sign |
| UnitEntry | Static.DevGraph |
| uniteSig | RelationalScheme.Sign |
| uniteSign | |
| 1 (Function) | OWL2.Rename |
| 2 (Function) | RDF.Sign |
| unitId | Common.Earley |
| UnitOpAttr | HasCASL.As |
| unitPT | Isabelle.IsaConsts |
| Units | GUI.HTkUtils |
| unitS | Common.Keywords |
| UnitSig | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| UnitSigAsBranchSig | Static.DevGraph |
| unitSpec | Syntax.Parse_AS_Architecture |
| unitTerm | HasCASL.Builtin |
| unitType | HasCASL.AsUtils |
| unitTypeId | HasCASL.AsUtils |
| unitTypeS | HasCASL.AsUtils |
| unitTypeScheme | HasCASL.Builtin |
| unitTypeWithRange | HasCASL.AsUtils |
| Unit_appl | Syntax.AS_Architecture |
| UNIT_BINDING | Syntax.AS_Architecture |
| Unit_binding | Syntax.AS_Architecture |
| Unit_decl | Syntax.AS_Architecture |
| UNIT_DECL_DEFN | Syntax.AS_Architecture |
| Unit_defn | Syntax.AS_Architecture |
| UNIT_EXPRESSION | Syntax.AS_Architecture |
| Unit_expression | Syntax.AS_Architecture |
| UNIT_NAME | Syntax.AS_Architecture |
| Unit_op_attr | CASL.AS_Basic_CASL |
| Unit_reduction | Syntax.AS_Architecture |
| UNIT_REF | Syntax.AS_Architecture |
| Unit_ref | Syntax.AS_Architecture |
| UNIT_SPEC | Syntax.AS_Architecture |
| Unit_spec | Syntax.AS_Architecture |
| Unit_spec_defn | Syntax.AS_Library |
| UNIT_TERM | Syntax.AS_Architecture |
| Unit_translation | Syntax.AS_Architecture |
| Unit_type | Syntax.AS_Architecture |
| Univ | |
| 1 (Data Constructor) | DFOL.AS_DFOL |
| 2 (Data Constructor) | Hybrid.AS_Hybrid |
| Universal | |
| 1 (Data Constructor) | CASL.AS_Basic_CASL |
| 2 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 3 (Data Constructor) | HasCASL.As |
| universallyQ | QBF.Tools |
| universalOpKind | Maude.PreComorphism |
| universalOps | Maude.PreComorphism |
| universalSens | Maude.PreComorphism |
| universalSensKind | Maude.PreComorphism |
| universe | |
| 1 (Function) | CASL.Kif2CASL |
| 2 (Function) | HasCASL.AsUtils |
| universeId | HasCASL.AsUtils |
| universeWithRange | HasCASL.AsUtils |
| univPrec | DFOL.Utils |
| univ_witness | Isabelle.IsaSign |
| UNK | Persistence.Schema.Enums |
| Unknown | |
| 1 (Data Constructor) | Common.Consistency |
| 2 (Data Constructor) | LF.Morphism |
| 3 (Data Constructor) | SoftFOL.MathServParsing |
| 4 (Data Constructor) | SoftFOL.Sign |
| 5 (Data Constructor) | THF.As |
| 6 (Data Constructor) | TPTP.AS |
| UnknownArg | OWL2.AS |
| UnknownBinaryAtom | OWL2.AS |
| unknownBinaryAtomK | OWL2.XMLKeywords |
| UnknownCalc | SoftFOL.MathServParsing |
| UnknownUnaryAtom | OWL2.AS |
| unknownUnaryAtomK | OWL2.XMLKeywords |
| Unknown_source | TPTP.AS |
| unLanguageKey | Persistence.Schema |
| unLanguageMappingKey | Persistence.Schema |
| unless | GUI.HTkUtils |
| unlit | |
| 1 (Function) | Common.Unlit |
| 2 (Function) | Driver.Options |
| unLocIdBaseKey | Persistence.Schema |
| unlockGlobal | GUI.GraphTypes |
| unlockLocal | Static.DevGraph |
| unLogicInclusionKey | Persistence.Schema |
| unLogicKey | Persistence.Schema |
| unLogicMappingKey | Persistence.Schema |
| unLogicTranslationKey | Persistence.Schema |
| unLogicTranslationStepKey | Persistence.Schema |
| unManualPremiseSelectionKey | Persistence.Schema |
| Unmap | GUI.HTkUtils |
| unMappingKey | Persistence.Schema |
| unmark | Common.AS_Annotation |
| unMod | Static.DgUtils |
| unOMSKey | Persistence.Schema |
| UnOp | Adl.As |
| UnordTags | Common.XmlDiff |
| unOrganizationalUnitKey | Persistence.Schema |
| UNP | TPTP.AS |
| Unp | THF.As |
| unpackAnnotationAxiom | OWL2.PrintMS |
| unpackAssertionAxiom | OWL2.PrintMS |
| unpackClassAxiom | OWL2.PrintMS |
| unpackDataPropertyAxiom | OWL2.PrintMS |
| unpackObjectPropertyAxiom | OWL2.PrintMS |
| unpack_gabs | Comorphisms.HolLight2Isabelle |
| unpack_gabs' | Comorphisms.HolLight2Isabelle |
| unpack_tuple | Comorphisms.THFP2THF0 |
| Unparsed_anno | Common.AS_Annotation |
| Unparsed_formula | CASL.AS_Basic_CASL |
| Unparsed_term | CASL.AS_Basic_CASL |
| unPolyId | Common.Prec |
| unpost | GUI.HTkUtils |
| unPredType | HasCASL.AsUtils |
| unPredTypeScheme | HasCASL.AsUtils |
| unPremiseSelectionKey | Persistence.Schema |
| unProofAttemptKey | Persistence.Schema |
| unProofAttemptUsedSentenceKey | Persistence.Schema |
| UnprovenGoals | Interfaces.Command |
| Unqualified | OWL2.Sublogic |
| unQualName | Common.LibName |
| unqualName | OMDoc.DataTypes |
| Unquoted | TIP.AbsTIP |
| unquotedInitialSymbols | TIP.Utils |
| unquotedLaterSymbols | TIP.Utils |
| UnquotedSymbol | |
| 1 (Type/Class) | TIP.AbsTIP |
| 2 (Data Constructor) | TIP.AbsTIP |
| unquoteSymbolChars | TIP.Utils |
| unRanged | VSE.As |
| unReasonerConfigurationKey | Persistence.Schema |
| unReasonerKey | Persistence.Schema |
| unReasonerOutputKey | Persistence.Schema |
| unReasoningAttemptKey | Persistence.Schema |
| unRepositoryKey | Persistence.Schema |
| unrestrictedDL | OWL2.Sublogic |
| UNS | TPTP.AS |
| Uns | THF.As |
| unsafeCoerce | Logic.Coerce |
| unsafeConstructGr | Common.Lib.Graph |
| unsafeConstructInjMap | Common.InjMap |
| Unsatisfiable | SoftFOL.MathServParsing |
| UnsatisfiableConclusion | SoftFOL.MathServParsing |
| unSentenceKey | Persistence.Schema |
| unSerializationKey | Persistence.Schema |
| unsetMark | GUI.HTkUtils |
| unSignatureKey | Persistence.Schema |
| unSignatureMorphismKey | Persistence.Schema |
| unsignedByteS | OWL2.Keywords |
| unsignedIntS | OWL2.Keywords |
| unsignedLongS | OWL2.Keywords |
| unsignedShortS | OWL2.Keywords |
| unSinePremiseSelectionKey | Persistence.Schema |
| unSineSymbolCommonnessKey | Persistence.Schema |
| unSineSymbolPremiseTriggerKey | Persistence.Schema |
| Unsolved | SoftFOL.MathServParsing |
| UnsolvedStatus | SoftFOL.MathServParsing |
| unsortedTerm | CASL.CCC.TermFormula |
| Unstable | Logic.Logic |
| unSymbolKey | Persistence.Schema |
| unSymbolMappingKey | Persistence.Schema |
| untilS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | ExtModal.Keywords |
| UntilSince | ExtModal.AS_ExtModal |
| Untyped | OWL2.AS |
| Untyped_atom | TPTP.AS |
| unusedChan | CspCASL.SymMapAna |
| upcast | CASL_DL.PredefinedCASLAxioms |
| updAssocMap | CASL.StaticAna |
| Update | Common.XUpdate |
| update | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.OrderedMap |
| updateAllTasks | GUI.HTkUtils |
| updateAWithB | Common.InjMap |
| updateBWithA | Common.InjMap |
| updateCache | PGIP.RequestCache |
| updateCacheWithKey | PGIP.RequestCache |
| updateChangeList | Static.XSimplePath |
| updateComorphism | GUI.GtkConsistencyChecker |
| updateDefinition | CSL.ASUtils |
| updateDGOnly | Static.History |
| updateDomainTab | CspCASLProver.IsabelleUtils |
| updateExtInfo | CASL.StaticAna |
| updateFinder | GUI.GtkConsistencyChecker |
| updateGraph | GUI.GraphLogic |
| updateIdleTasks | GUI.HTkUtils |
| updateLabelTheory | Static.ComputeTheory |
| updateLinkChange | Static.XSimplePath |
| updateListData | GUI.GtkUtils |
| updateMorIndex | Logic.Grothendieck |
| updateNodeChange | Static.XSimplePath |
| updateNodeNameRT | Static.DevGraph |
| updateNodeNameSpecRT | Static.DevGraph |
| updateNodeProof | Interfaces.Utils |
| updateNodes | GUI.GtkConsistencyChecker |
| Updater | GUI.UDGUtils |
| updateS | Common.XUpdate |
| updateSigRT | Static.DevGraph |
| updateSymbolMap | OMDoc.Import |
| updateWindowCount | GUI.GraphTypes |
| updDiagKind | Common.Result |
| updEdgeId | Static.DgUtils |
| updExtFeature | CASL.Sublogic |
| updProofBasisOfThmLinkStatus | Static.DgUtils |
| updThmProofBasis | Static.DevGraph |
| upper | CSMOF.As |
| uriP | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| 3 (Function) | RDF.Parse |
| uriPair | OWL2.Parse |
| uriQ | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| uriToCaslId | Common.IRI |
| uriToId | OWL2.AS |
| uriToName | OWL2.Rename |
| uriToTok | OWL2.AS |
| urlCatalog | Driver.Options |
| urlEscape | OMDoc.XmlInterface |
| urlUnescape | OMDoc.XmlInterface |
| urnParser | Common.IRI |
| URR | SoftFOL.Sign |
| usableCC | Proofs.AbstractState |
| usableProvers | |
| 1 (Function) | Logic.LGToXml |
| 2 (Function) | Logic.LGToJson |
| usage | PGIP.Shared |
| Use | |
| 1 (Type/Class) | OMDoc.OMDocInterface |
| 2 (Data Constructor) | OMDoc.OMDocInterface |
| useCatalogURL | Driver.Options |
| usedAxioms | Logic.Prover |
| usedProver | Logic.Prover |
| usedProverName | SoftFOL.MathServMapping |
| usedReasoner | PGIP.GraphQL.Result.ReasoningAttempt |
| usedTime | Logic.Prover |
| usedTopKeys | Isabelle.IsaConsts |
| UseFile | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| useFileName | Isabelle.IsaExport |
| useFormat | OMDoc.OMDocInterface |
| UsefulInfo | THF.As |
| Useful_info | TPTP.AS |
| useGlobalAnnos | Common.DocUtils |
| UseGui | Driver.Options |
| useLibPos | Driver.Options |
| UserGiven | HasCASL.As |
| username | Persistence.DBConfig |
| uses | |
| 1 (Function) | Isabelle.IsaSign |
| 2 (Function) | Isabelle.IsaParse |
| usesS | Isabelle.IsaConsts |
| useTheorems | |
| 1 (Function) | PGIP.ReasoningParameters |
| 2 (Function) | Interfaces.DataTypes |
| UseThmChange | Interfaces.DataTypes |
| useValue | OMDoc.OMDocInterface |
| useXML | PGIP.XMLstate |
| Use_consChecker | CMDL.DataTypes |
| Use_prover | CMDL.DataTypes |
| Using | Isabelle.IsaSign |
| usingS | Isabelle.IsaConsts |
| Utf8 | Common.IO |
| uTok | HasCASL.MixAna |
| uTrue | VSE.Ana |