Index - L
| LA | Common.GlobalAnnotations |
| labDG | Static.DevGraph |
| labEdgesDG | Static.DevGraph |
| Label | |
| 1 (Data Constructor) | Common.AS_Annotation |
| 2 (Type/Class) | Common.Doc |
| 3 (Data Constructor) | Maude.AS_Maude |
| 4 (Type/Class) | GUI.HTkUtils |
| label | |
| 1 (Function) | Adl.As |
| 2 (Function) | OWL2.Keywords |
| 3 (Function) | OWL2.AS |
| Labeled | Syntax.AS_Structured |
| LABELED_ONTO_OR_INTPR_REF | Syntax.AS_Structured |
| LabelFrame | GUI.HTkUtils |
| labelHasFree | |
| 1 (Function) | PGIP.GraphQL.Result.OMSSimple |
| 2 (Function) | PGIP.GraphQL.Result.OMS |
| 3 (Function) | Static.DevGraph |
| labelHasHiding | |
| 1 (Function) | PGIP.GraphQL.Result.OMSSimple |
| 2 (Function) | PGIP.GraphQL.Result.OMS |
| 3 (Function) | Static.DevGraph |
| LabelId | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Data Constructor) | Maude.AS_Maude |
| labelMap | |
| 1 (Function) | Maude.Morphism |
| 2 (Function) | OWL2.Sign |
| labelNode | Common.Lib.Graph |
| labelNodeDG | Static.DevGraph |
| LabelRenaming | Maude.AS_Maude |
| LabelSide | GUI.HTkUtils |
| labelSide | GUI.HTkUtils |
| Labl | Maude.Symbol |
| LablK | Maude.Symbol |
| labNodesDG | Static.DevGraph |
| labRT | Static.DevGraph |
| Lamb | LF.Sign |
| Lambda | TIP.AbsTIP |
| lambda | Common.Doc |
| lambdaOMS | LF.Twelf2GR |
| lambdaS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| LambdaTerm | HasCASL.As |
| lambdaTerm | HasCASL.ParseTerm |
| lamDecls | HasCASL.ParseTerm |
| lamDot | HasCASL.ParseTerm |
| lamPattern | HasCASL.ParseTerm |
| lamS | Common.Keywords |
| lAnd | Common.Keywords |
| LANGRANGE | OWL2.Keywords |
| langRangeS | OWL2.Keywords |
| Language | |
| 1 (Type/Class) | PGIP.GraphQL.Result.Language |
| 2 (Data Constructor) | PGIP.GraphQL.Result.Language |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| 5 (Type/Class) | Logic.Logic |
| language | |
| 1 (Function) | PGIP.GraphQL.Result.Serialization |
| 2 (Function) | PGIP.GraphQL.Result.OMS |
| LanguageDefinedBy | Persistence.Schema |
| languageDefinedBy | Persistence.Schema |
| LanguageDescription | Persistence.Schema |
| languageDescription | Persistence.Schema |
| LanguageId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LanguageKey | Persistence.Schema |
| LanguageMapping | |
| 1 (Type/Class) | PGIP.GraphQL.Result.LanguageMapping |
| 2 (Data Constructor) | PGIP.GraphQL.Result.LanguageMapping |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| languageMapping | PGIP.GraphQL.Result.LogicMapping |
| LanguageMappingId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LanguageMappingKey | Persistence.Schema |
| LanguageMappingSourceId | Persistence.Schema |
| languageMappingSourceId | Persistence.Schema |
| LanguageMappingTargetId | Persistence.Schema |
| languageMappingTargetId | Persistence.Schema |
| languageMappingToResult | PGIP.GraphQL.Resolver.ToResult |
| LanguageName | Persistence.Schema |
| languageName | Persistence.Schema |
| LanguageQual | Syntax.AS_Structured |
| languageS | OWL2.Keywords |
| LanguageSlug | Persistence.Schema |
| languageSlug | Persistence.Schema |
| LanguageStandardizationStatus | Persistence.Schema |
| languageStandardizationStatus | Persistence.Schema |
| LanguageTag | OWL2.AS |
| languageTag | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| languageToResult | PGIP.GraphQL.Resolver.ToResult |
| language_name | Logic.Logic |
| Last | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| lastAccess | PGIP.Shared |
| lastChar | CMDL.Utils |
| LastEnd | GUI.HTkUtils |
| lastString | CMDL.Utils |
| latexFooter | Common.PrintLaTeX |
| latexHeader | Common.PrintLaTeX |
| latex_macro | Common.LaTeX_funs |
| LATIN | LF.Twelf2GR |
| Latin1 | Common.IO |
| latinEnv | LF.Twelf2GR |
| Lattice | Common.Lattice, CASL.Sublogic |
| laxFst | Logic.Grothendieck |
| laxModif | Logic.Grothendieck |
| laxSnd | Logic.Grothendieck |
| laxTarget | Logic.Grothendieck |
| LaxTriangle | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| layoutImproveAll | |
| 1 (Function) | Taxonomy.AbstractGraphView |
| 2 (Function) | GUI.GraphAbstraction |
| Lazyfix | HasCASL.PrintAs |
| lazyType | HasCASL.ParseTerm |
| lazyTypeConstr | HasCASL.AsUtils |
| lazyTypeId | HasCASL.AsUtils |
| LBGoalView | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| LBIndicatorConjectured | GUI.HTkUtils |
| LBIndicatorDisproved | GUI.HTkUtils |
| LBIndicatorGuessed | GUI.HTkUtils |
| LBIndicatorHandwritten | GUI.HTkUtils |
| LBIndicatorOpen | GUI.HTkUtils |
| LBIndicatorProved | GUI.HTkUtils |
| LBIndicatorProvedInconsistent | GUI.HTkUtils |
| lbrace | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| lbrack | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| LBStatusIndicator | GUI.HTkUtils |
| lcmS | CSL.Keywords |
| lcofS | CSL.Keywords |
| lconsS | Isabelle.IsaConsts |
| lconsV | Isabelle.IsaConsts |
| leading | CMDL.ParseProofScript |
| leadingSym | CASL.CCC.TermFormula |
| leadingSymPos | CASL.CCC.TermFormula |
| leadingTermPredication | CASL.CCC.TermFormula |
| leastCommonSymbols | Persistence.Reasoning.PremiseSelectionSInE |
| leastUpperBound | TPTP.Sublogic |
| Leave | GUI.HTkUtils |
| leaves | HasCASL.FoldType |
| LeftAssoc | OMDoc.DataTypes |
| leftAssocExpr | Common.XPath |
| LeftId | Maude.AS_Maude |
| leftId | Maude.AS_Maude |
| LeftLabel | GUI.HTkUtils |
| LeftMode | Common.Lib.Pretty |
| LeftOpen | Static.DgUtils |
| leftPT | Isabelle.IsaConsts |
| LeftRight | GUI.UDGUtils |
| leftTriangle | Logic.Grothendieck |
| left_assocS | Common.Keywords |
| legalColourID | GUI.HTkUtils |
| legalMor | |
| 1 (Function) | CASL.Morphism |
| 2 (Function) | HasCASL.Morphism |
| 3 (Function) | OWL2.Morphism |
| legalMorphismExtension | CASL.Morphism |
| legal_mor | Logic.Logic |
| LEM | SoftFOL.Sign |
| Lemma | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| 4 (Data Constructor) | SoftFOL.Sign |
| 5 (Data Constructor) | THF.As |
| 6 (Data Constructor) | TPTP.AS |
| lemmaContext | Isabelle.IsaSign |
| lemmaName | Isabelle.IsaSign |
| lemmaProof | Isabelle.IsaSign |
| lemmaProps | Isabelle.IsaSign |
| Lemmas | Isabelle.IsaSign |
| lemmaS | Isabelle.IsaConsts |
| lemmasCCProverDecompositionThmsS | CspCASLProver.Consts |
| lemmasCCProverInjectivityThmsS | CspCASLProver.Consts |
| lemmasEmbInjAxS | CspCASLProver.Consts |
| lemmasIdentityAxS | CspCASLProver.Consts |
| lemmasList | Isabelle.IsaSign |
| lemmasNotDefBotAxS | CspCASLProver.Consts |
| lemmasS | Isabelle.IsaConsts |
| lemmasTotalityAxS | CspCASLProver.Consts |
| lemmasTransAxS | CspCASLProver.Consts |
| lemmaTarget | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| Lemma_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| lemsP | VSE.Prove |
| LENGTH | OWL2.Keywords |
| lengthS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | OWL2.Keywords |
| Leo | SoftFOL.ProveDarwin |
| leo2 | TPTP.Prover.Leo2 |
| leoIIProver | THF.ProveLeoII |
| LEQ | CSMOF.Sign |
| leqClasses | Common.Lib.Rel |
| leqF | CASL.Overload |
| leqP | CASL.Overload |
| leqS | CSL.Keywords |
| leqSort | CASL.Overload |
| Less | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| less | Common.Doc |
| Lesseq | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| lessEq | Common.Keywords |
| lesserKind | HasCASL.ClassAna |
| lesserOpInfo | HasCASL.TypeAna |
| lesserRawKind | HasCASL.ClassAna |
| lesserType | HasCASL.TypeAna |
| lesserTypeScheme | HasCASL.TypeAna |
| lesserVariance | HasCASL.ClassAna |
| lesspS | CSL.Keywords |
| lessS | Common.Keywords |
| lessSublogicComor | Logic.Grothendieck |
| lessT | Common.AnnoState |
| Let | |
| 1 (Data Constructor) | Fpl.As |
| 2 (Data Constructor) | HasCASL.As |
| 3 (Data Constructor) | Isabelle.IsaSign |
| 4 (Data Constructor) | TIP.AbsTIP |
| LetBrand | HasCASL.As |
| LetDecl | |
| 1 (Type/Class) | TIP.AbsTIP |
| 2 (Data Constructor) | TIP.AbsTIP |
| letS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| letSubst | Isabelle.IsaSign |
| LetTerm | HasCASL.As |
| letTerm | |
| 1 (Function) | Fpl.As |
| 2 (Function) | HasCASL.ParseTerm |
| letVar | Fpl.As |
| lexem | CASL.Kif |
| lexemeParser | CSL.Parse_AS_Basic |
| LexicalForm | OWL2.AS |
| lExpA | QVTR.As |
| lExpO | QVTR.As |
| lExpre | QVTR.As |
| LF | |
| 1 (Data Constructor) | Framework.AS |
| 2 (Type/Class) | LF.Logic_LF |
| 3 (Data Constructor) | LF.Logic_LF |
| lfBase | LF.Twelf2GR |
| lfMod | LF.Twelf2GR |
| lfS | Common.Keywords |
| lfToUf | Comorphisms.HasCASL2THFP_P |
| lFunS | Isabelle.IsaConsts |
| lglue | CspCASL.Print_CspCASL |
| lGToJson | Logic.LGToJson |
| lGToXml | Logic.LGToXml |
| lhsS | CSL.Keywords |
| liamsRelatedCommAlpha | CspCASL.SymMapAna |
| liamsRelatedCommTypes | CspCASL.SymMapAna |
| Lib | Interfaces.Command |
| libdirs | Driver.Options |
| LibEnv | Static.DevGraph |
| libEnv_translation | Static.DGTranslation |
| liberalVariance | HasCASL.VarDecl |
| LibFile | Interfaces.Command |
| libFlatDUnions | |
| 1 (Function) | Proofs.DGFlattening |
| 2 (Function) | HetsAPI.Commands, HetsAPI |
| libFlatHeterogen | |
| 1 (Function) | Proofs.DGFlattening |
| 2 (Function) | HetsAPI.Commands, HetsAPI |
| libFlatHiding | |
| 1 (Function) | Proofs.DGFlattening |
| 2 (Function) | HetsAPI.Commands, HetsAPI |
| libFlatImports | |
| 1 (Function) | Proofs.DGFlattening |
| 2 (Function) | HetsAPI.Commands, HetsAPI |
| libFlatRenamings | |
| 1 (Function) | Proofs.DGFlattening |
| 2 (Function) | HetsAPI.Commands, HetsAPI |
| LibFunc | GUI.GraphTypes |
| libGraphLock | GUI.GraphTypes |
| libMap | OMDoc.Import |
| LibName | |
| 1 (Type/Class) | Common.LibName |
| 2 (Data Constructor) | Common.LibName |
| libName | |
| 1 (Function) | Static.XGraph |
| 2 (Function) | GUI.GraphTypes |
| libNameFromURL | OMDoc.Import |
| libNameToFile | Driver.ReadFn |
| libNameToId | Common.LibName |
| Library | |
| 1 (Type/Class) | PGIP.GraphQL.Result.Library |
| 2 (Data Constructor) | PGIP.GraphQL.Result.Library |
| 3 (Data Constructor) | Persistence.Schema.Enums |
| library | Syntax.Parse_AS_Library |
| libraryS | Common.Keywords |
| libraryToResult | PGIP.GraphQL.Resolver.ToResult |
| LIBS | LF.Twelf2GR |
| Libs | Interfaces.Command |
| LIBS_EXT | LF.Twelf2GR |
| libToFileName | Common.LibName |
| libToString | Common.LibName |
| libVersion | Common.LibName |
| LIB_DEFN | Syntax.AS_Library |
| Lib_defn | Syntax.AS_Library |
| LIB_ITEM | Syntax.AS_Library |
| Lift2Case | Comorphisms.PPolyTyConsHOL2IsaUtils |
| Lift2Restrict | Comorphisms.PPolyTyConsHOL2IsaUtils |
| liftDep | Isabelle.IsaConsts |
| liftE | Static.DevGraph |
| liftIT2AI | Common.Item |
| liftIT2I | Common.Item |
| liftName | TopHybrid.Utilities |
| liftOr | Static.DgUtils |
| liftR | Common.ResultT |
| liftString | Isabelle.IsaConsts |
| liftToMaybeT | Common.Lib.Maybe |
| ligatures | Common.LaTeX_maps |
| Line | |
| 1 (Data Constructor) | FreeCAD.As |
| 2 (Type/Class) | GUI.HTkUtils |
| lineAnnos | Common.AnnoState |
| linearS | CSL.Keywords |
| lineComment | |
| 1 (Function) | Adl.Parse |
| 2 (Function) | Maude.Parse |
| 3 (Function) | QVTR.Parser |
| LineEnd | GUI.HTkUtils |
| lineLength | Common.Lib.Pretty |
| linelengthS | CSL.Keywords |
| LineStart | GUI.HTkUtils |
| Line_anno | Common.AS_Annotation |
| LINK | LF.Twelf2GR |
| Link | |
| 1 (Type/Class) | CSMOF.As |
| 2 (Data Constructor) | CSMOF.As |
| 3 (Data Constructor) | Interfaces.Command |
| link | CSMOF.As |
| linkClass | CSMOF.Parser |
| LinkInfo | OMDoc.Import |
| linkK | CSMOF.XMLKeywords |
| LinkKind | Static.DgUtils |
| LinkNode | OMDoc.Import |
| linkObject | CSMOF.Parser |
| linkOwner | CSMOF.As |
| linkProperty | CSMOF.Parser |
| links | CSMOF.Sign |
| linkSourceK | CSMOF.XMLKeywords |
| linksP | VSE.Prove |
| linkStatus | Static.DgUtils |
| LinkT | |
| 1 (Type/Class) | CSMOF.Sign |
| 2 (Data Constructor) | CSMOF.Sign |
| linkTargetK | CSMOF.XMLKeywords |
| linkType | CSMOF.As |
| linkTypeElem | CSMOF.Parser |
| linkTypeK | CSMOF.XMLKeywords |
| lispS | CSL.Keywords |
| List | |
| 1 (Data Constructor) | CASL.Kif |
| 2 (Data Constructor) | CSL.AS_BASIC_CSL |
| list | CommonLogic.PredefinedCASLAxioms |
| listargpS | CSL.Keywords |
| listargsS | CSL.Keywords |
| ListBox | GUI.HTkUtils |
| listBox | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | GUI.Utils |
| ListBoxElem | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| listBoxSubwidget | GUI.HTkUtils |
| ListChange | |
| 1 (Type/Class) | Interfaces.DataTypes |
| 2 (Data Constructor) | Interfaces.DataTypes |
| ListCheck | CASL.ToDoc |
| listChoice | GUI.GtkUtils |
| listChoiceAux | GUI.GtkUtils |
| listChoiceExt | GUI.GtkUtils |
| listCMDRecord | CSL.Fold |
| ListCons | Common.GlobalAnnotations |
| listDGEdgeTypes | Static.DgUtils |
| listDGNodeTypes | Static.DgUtils |
| listen | Driver.Options |
| listEventInfoSet | GUI.HTkUtils |
| listexp | CSL.Parse_AS_Basic |
| ListFrameBit | |
| 1 (Data Constructor) | OWL2.MS |
| 2 (Type/Class) | OWL2.MS |
| listFromAL | Common.Item |
| listFromL | Common.Item |
| listFromLWithA | Common.Item |
| listFromXml | OMDoc.XmlInterface |
| ListNull | Common.GlobalAnnotations |
| ListOfList | CASL.Kif |
| ListOrTuple | Common.Data |
| listRules | Common.Earley |
| listS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| listSig | CommonLogic.PredefinedCASLAxioms |
| listT | Isabelle.IsaConsts |
| listToTypes | HolLight.HolLight2DG |
| listToXml | OMDoc.XmlInterface |
| listVarDecl | Maude.PreComorphism |
| listWithError | GUI.HTkUtils |
| List_anno | Common.AS_Annotation |
| list_lit | Common.GlobalAnnotations |
| Lit | |
| 1 (Type/Class) | TIP.AbsTIP |
| 2 (Data Constructor) | TIP.AbsTIP |
| LitCommand | |
| 1 (Type/Class) | CMDL.ParseProofScript |
| 2 (Data Constructor) | CMDL.ParseProofScript |
| Literal | |
| 1 (Data Constructor) | CASL.Kif |
| 2 (Data Constructor) | Common.XPath |
| 3 (Type/Class) | OWL2.AS |
| 4 (Data Constructor) | OWL2.AS |
| 5 (Type/Class) | TPTP.AS |
| literal | |
| 1 (Function) | Common.XPath |
| 2 (Function) | OWL2.ParseMS |
| 3 (Function) | OWL2.Parse |
| 4 (Function) | RDF.Parse |
| LiteralAnnos | Common.GlobalAnnotations |
| literalK | OWL2.XMLKeywords |
| LiteralMap | Common.GlobalAnnotations |
| LiteralType | Common.GlobalAnnotations |
| literal_annos | Common.GlobalAnnotations |
| literal_map | Common.GlobalAnnotations |
| LitFalse | TIP.AbsTIP |
| LitInt | TIP.AbsTIP |
| LitNegInt | TIP.AbsTIP |
| LitPat | TIP.AbsTIP |
| LitTrue | TIP.AbsTIP |
| litType | OWL2.AS |
| Lit_atomic | TPTP.AS |
| Lit_fof_infix | TPTP.AS |
| Lit_negative | TPTP.AS |
| lkup | |
| 1 (Function) | CASL.CompositionTable.ModelFormula |
| 2 (Function) | CASL.CompositionTable.ModelTable |
| lliftbinS | Isabelle.IsaConsts |
| llRange | CASL.Kif2CASL |
| lltermS | CSL.Keywords |
| lmargin1 | GUI.HTkUtils |
| lmargin2 | GUI.HTkUtils |
| lnode | |
| 1 (Function) | Static.ToXml |
| 2 (Function) | Static.ToJson |
| LNS | Static.AnalysisLibrary |
| lnS | CSL.Keywords |
| loadFromUri | Common.Http |
| loadLibraries | Maude.PreComorphism |
| loadLibrary | HetsAPI.Commands, HetsAPI |
| loadNaturalNatSens | Maude.PreComorphism |
| loadpackageS | CSL.Keywords |
| loadRefLib | Static.FromXml |
| loadS | CSL.Keywords |
| loadScript | Interfaces.DataTypes |
| LoadScriptChange | Interfaces.DataTypes |
| Local | |
| 1 (Data Constructor) | Static.DgUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| LocalAxioms | Interfaces.Command |
| localConsThm | Static.DevGraph |
| LocalDecomp | Interfaces.Command |
| localDecomposition | HetsAPI.Commands, HetsAPI |
| LocalDef | |
| 1 (Data Constructor) | Persistence.Schema.MappingType |
| 2 (Data Constructor) | Static.DgUtils |
| localDef | Static.DevGraph |
| Locale | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| locale | Persistence.DBConfig |
| localeBody | Isabelle.IsaSign |
| localeContext | Isabelle.IsaSign |
| LocaleDecl | Isabelle.IsaSign |
| localeName | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| localeParents | Isabelle.IsaSign |
| Locales | Isabelle.IsaSign |
| locales | Isabelle.IsaSign |
| Locale_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| LocalInference | Interfaces.Command |
| localInference | |
| 1 (Function) | Proofs.Local |
| 2 (Function) | HetsAPI.Commands, HetsAPI |
| localInferenceFromList | Proofs.Local |
| localityJar | OWL2.Conservativity |
| locallyFiltered | Common.Lib.Rel |
| LocalMenu | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | GUI.UDGUtils |
| localName | Common.XPath |
| localOrGlobalDef | Static.DevGraph |
| localOrGlobalThm | Static.DevGraph |
| localS | Common.Keywords |
| localSig | OMDoc.Import |
| localThm | Static.DevGraph |
| LocalThmOpen | Persistence.Schema.MappingType |
| LocalThmProved | Persistence.Schema.MappingType |
| LocalTypeVars | HasCASL.Le |
| localTypeVars | HasCASL.Le |
| localVars | HasCASL.Le |
| Local_spec | Syntax.AS_Structured |
| Local_unit | Syntax.AS_Architecture |
| Local_var_axioms | CASL.AS_Basic_CASL |
| locDecomp | Proofs.Local |
| locDecompFromList | Proofs.Local |
| LocFilSub | CASL.Sublogic |
| locId | |
| 1 (Function) | PGIP.GraphQL.Result.LocIdReference |
| 2 (Function) | PGIP.GraphQL.Result.Mapping |
| 3 (Function) | PGIP.GraphQL.Result.OMSSimple |
| 4 (Function) | PGIP.GraphQL.Result.NativeDocument |
| 5 (Function) | PGIP.GraphQL.Result.Library |
| 6 (Function) | PGIP.GraphQL.Result.Symbol |
| 7 (Function) | PGIP.GraphQL.Result.Conjecture |
| 8 (Function) | PGIP.GraphQL.Result.Axiom |
| 9 (Function) | PGIP.GraphQL.Result.OMS |
| LocIdBase | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LocIdBaseFileVersionId | Persistence.Schema |
| locIdBaseFileVersionId | Persistence.Schema |
| LocIdBaseId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LocIdBaseKey | Persistence.Schema |
| LocIdBaseKind | Persistence.Schema |
| locIdBaseKind | Persistence.Schema |
| LocIdBaseKindType | Persistence.Schema.Enums |
| LocIdBaseLocId | Persistence.Schema |
| locIdBaseLocId | Persistence.Schema |
| locIdOfDocument | Persistence.Utils |
| locIdOfMapping | Persistence.Utils |
| locIdOfOMS | Persistence.Utils |
| locIdOfOMSWithName | Persistence.Utils |
| locIdOfSentence | Persistence.Utils |
| locIdOfSymbol | Persistence.Utils |
| LocIdReference | |
| 1 (Type/Class) | PGIP.GraphQL.Result.LocIdReference |
| 2 (Data Constructor) | PGIP.GraphQL.Result.LocIdReference |
| locIRI | Common.LibName |
| Lock | GUI.HTkUtils |
| lockGlobal | GUI.GraphTypes |
| log10S | CSL.Keywords |
| logbS | CSL.Keywords |
| Logic | |
| 1 (Type/Class) | PGIP.GraphQL.Result.Logic |
| 2 (Data Constructor) | PGIP.GraphQL.Result.Logic |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| 5 (Data Constructor) | Logic.Logic |
| 6 (Type/Class) | Logic.Logic |
| logic | |
| 1 (Function) | PGIP.GraphQL.Result.OMS |
| 2 (Function) | SoftFOL.Sign |
| LogicalFramework | Logic.Logic |
| logicalPart | SoftFOL.Sign |
| LogicDef | |
| 1 (Type/Class) | Framework.AS |
| 2 (Data Constructor) | Framework.AS |
| LogicDescr | |
| 1 (Type/Class) | Syntax.AS_Structured |
| 2 (Data Constructor) | Syntax.AS_Structured |
| logicFormula2UnitaryFormula | Comorphisms.THFP2THF0 |
| LogicGraph | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| logicGraph | Comorphisms.LogicGraph |
| logicGraph2Graph | Logic.Grothendieck |
| logicGraphForFile | Comorphisms.LogicGraph |
| LogicId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| logicId | Proofs.AbstractState |
| LogicInclusion | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| logicInclusion | Logic.Grothendieck |
| LogicInclusionId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LogicInclusionKey | Persistence.Schema |
| LogicInclusionLanguageId | Persistence.Schema |
| logicInclusionLanguageId | Persistence.Schema |
| LogicInclusionName | Persistence.Schema |
| logicInclusionName | Persistence.Schema |
| LogicInclusionSlug | Persistence.Schema |
| logicInclusionSlug | Persistence.Schema |
| LogicInclusionSourceId | Persistence.Schema |
| logicInclusionSourceId | Persistence.Schema |
| LogicInclusionTargetId | Persistence.Schema |
| logicInclusionTargetId | Persistence.Schema |
| LogicKey | Persistence.Schema |
| LogicLanguageId | Persistence.Schema |
| logicLanguageId | Persistence.Schema |
| logicList | Comorphisms.LogicList |
| LogicMapping | |
| 1 (Type/Class) | PGIP.GraphQL.Result.LogicMapping |
| 2 (Data Constructor) | PGIP.GraphQL.Result.LogicMapping |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| logicMapping | PGIP.GraphQL.Result.SignatureMorphism |
| LogicMappingHasModelExpansion | Persistence.Schema |
| logicMappingHasModelExpansion | Persistence.Schema |
| LogicMappingId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LogicMappingIsInclusion | Persistence.Schema |
| logicMappingIsInclusion | Persistence.Schema |
| LogicMappingIsWeaklyAmalgamable | Persistence.Schema |
| logicMappingIsWeaklyAmalgamable | Persistence.Schema |
| LogicMappingKey | Persistence.Schema |
| LogicMappingLanguageMappingId | Persistence.Schema |
| logicMappingLanguageMappingId | Persistence.Schema |
| LogicMappingName | Persistence.Schema |
| logicMappingName | Persistence.Schema |
| LogicMappingSlug | Persistence.Schema |
| logicMappingSlug | Persistence.Schema |
| LogicMappingSourceId | Persistence.Schema |
| logicMappingSourceId | Persistence.Schema |
| LogicMappingTargetId | Persistence.Schema |
| logicMappingTargetId | Persistence.Schema |
| logicMappingToResult | PGIP.GraphQL.Resolver.ToResult |
| LogicName | Persistence.Schema |
| logicName | |
| 1 (Function) | Persistence.Schema |
| 2 (Function) | Static.XGraph |
| logicNameForDB | Persistence.Utils |
| logicNameForDBByName | Persistence.Utils |
| logicNames | Logic.KnownIris |
| logicOfGsign | Logic.Grothendieck |
| logicS | Common.Keywords |
| logics | Logic.Grothendieck |
| LogicSlug | Persistence.Schema |
| logicSlug | Persistence.Schema |
| LogicT | Common.LogicT |
| logicToJson | Logic.LGToJson |
| logicToResult | PGIP.GraphQL.Resolver.ToResult |
| logicToXml | Logic.LGToXml |
| LogicTranslation | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LogicTranslationId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LogicTranslationKey | Persistence.Schema |
| LogicTranslationName | Persistence.Schema |
| logicTranslationName | Persistence.Schema |
| LogicTranslationSlug | Persistence.Schema |
| logicTranslationSlug | Persistence.Schema |
| LogicTranslationStep | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LogicTranslationStepId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| LogicTranslationStepKey | Persistence.Schema |
| LogicTranslationStepLogicInclusionId | Persistence.Schema |
| logicTranslationStepLogicInclusionId | Persistence.Schema |
| LogicTranslationStepLogicMappingId | Persistence.Schema |
| logicTranslationStepLogicMappingId | Persistence.Schema |
| LogicTranslationStepLogicTranslationId | Persistence.Schema |
| logicTranslationStepLogicTranslationId | Persistence.Schema |
| LogicTranslationStepNumber | Persistence.Schema |
| logicTranslationStepNumber | Persistence.Schema |
| logicUnion | Logic.Grothendieck |
| Logic_code | |
| 1 (Type/Class) | Syntax.AS_Structured |
| 2 (Data Constructor) | Syntax.AS_Structured |
| Logic_decl | Syntax.AS_Library |
| Logic_name | |
| 1 (Type/Class) | Syntax.AS_Structured |
| 2 (Data Constructor) | Syntax.AS_Structured |
| logId | HasCASL.Builtin |
| logPrefix | Logic.KnownIris |
| logS | CSL.Keywords |
| logsent | CommonLogic.Parse_KIF |
| logType | HasCASL.Builtin |
| log_types | Isabelle.IsaSign |
| longLiteral | RDF.Parse |
| longS | OWL2.Keywords |
| longTest | RelationalScheme.ParseRS |
| lookaheadPosition | Common.Lexer |
| lookup | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.OrderedMap |
| lookupBinder | CSL.AS_BASIC_CSL |
| lookupBindInfo | CSL.AS_BASIC_CSL |
| lookupCache | PGIP.RequestCache |
| lookupCharMap | Common.ProofUtils |
| lookupComorphism | Logic.Grothendieck |
| lookupComorphism_in_LG | Comorphisms.LogicGraph |
| lookupCompComorphism | Logic.Grothendieck |
| lookupCurrentLogic | Logic.Grothendieck |
| lookupCurrentSyntax | Logic.Grothendieck |
| lookupDefault | Logic.Logic |
| lookupDGraph | Static.DevGraph |
| lookupDisplay | Common.GlobalAnnotations |
| lookupDisplayFormat | Common.AS_Annotation |
| lookupGlobalEnvDG | Static.DevGraph |
| lookupHistory | Proofs.StatusUtils |
| lookupInAllRefNodesDG | Static.DevGraph |
| lookupKnownConsChecker | Proofs.AbstractState |
| lookupKnownProver | Proofs.AbstractState |
| lookupLib | OMDoc.Import |
| lookupLocalNode | Static.DevGraph |
| lookupLocalNodeByName | Static.DevGraph |
| lookupLocalNodeByNameInEnv | Static.DevGraph |
| lookupLogic | Logic.Grothendieck |
| lookupLogicName | Logic.KnownIris |
| lookupModification | Logic.Grothendieck |
| lookupMorMapDG | Static.DevGraph |
| lookupMorph | LF.Twelf2GR |
| lookupNode | OMDoc.Import |
| lookupNodeByName | Static.DevGraph |
| lookupNotation | OMDoc.DataTypes |
| lookupNotationInMap | OMDoc.DataTypes |
| lookupNSMap | OMDoc.Import |
| lookupOperator | CSL.AS_BASIC_CSL |
| lookupOpInfo | CSL.AS_BASIC_CSL |
| lookupOpInfoForParsing | CSL.AS_BASIC_CSL |
| lookupProc | VSE.Ana |
| lookupProcSymbol | CspCASL.SymMapAna |
| lookupQTA_in_LG | Comorphisms.LogicGraph |
| lookupRedShellCmd | CSL.Reduce_Interface |
| lookupRefNode | Static.DevGraph |
| lookupRefNodeM | Static.DevGraph |
| lookupSemanticAnno | Common.AS_Annotation |
| lookupSerialization | Logic.KnownIris |
| lookupSig | LF.Twelf2GR |
| lookupSigMapDG | Static.DevGraph |
| lookupSquare | Logic.Grothendieck |
| lookupSquare_in_LG | Comorphisms.LogicGraph |
| lookupSym | CSL.Sign |
| lookupThMapDG | Static.DevGraph |
| lookupUniqueLink | Static.DevGraph |
| lookupUniqueNodeByName | Static.DevGraph |
| lookupWithA | Common.InjMap |
| lookupWithB | Common.InjMap |
| lookupWithInsert | OMDoc.Export |
| loops | Common.Lib.Graph |
| Loose | |
| 1 (Data Constructor) | CASL.StaticAna |
| 2 (Data Constructor) | HasCASL.Le |
| lOr | Common.Keywords |
| lossyTrans | Driver.Options |
| Lower | Common.AS_Annotation |
| lower | CSMOF.As |
| lowerItem | GUI.HTkUtils |
| lowerShow | Common.XPath |
| lowerTextTag | GUI.HTkUtils |
| lowerWin | GUI.HTkUtils |
| lowpowS | CSL.Keywords |
| lowPrio | Isabelle.IsaConsts |
| lpairTerm | Isabelle.IsaConsts |
| lpar | Common.XPath |
| lparen | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| lProdS | Isabelle.IsaConsts |
| lStr | QVTR.As |
| lstring | CSL.Parse_AS_Basic |
| lSumS | Isabelle.IsaConsts |
| lType | Static.XGraph |
| lub | Logic.Logic |
| Lucida | GUI.HTkUtils |
| l_annos | Common.AS_Annotation |