Hets - the Heterogeneous Tool Set

Index - L

LACommon.GlobalAnnotations
labDGStatic.DevGraph
labEdgesDGStatic.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
LabeledSyntax.AS_Structured
LABELED_ONTO_OR_INTPR_REFSyntax.AS_Structured
LabelFrameGUI.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
labelNodeCommon.Lib.Graph
labelNodeDGStatic.DevGraph
LabelRenamingMaude.AS_Maude
LabelSideGUI.HTkUtils
labelSideGUI.HTkUtils
LablMaude.Symbol
LablKMaude.Symbol
labNodesDGStatic.DevGraph
labRTStatic.DevGraph
LambLF.Sign
LambdaTIP.AbsTIP
lambdaCommon.Doc
lambdaOMSLF.Twelf2GR
lambdaS 
1 (Function)CSL.Keywords
2 (Function)Common.Keywords
LambdaTermHasCASL.As
lambdaTermHasCASL.ParseTerm
lamDeclsHasCASL.ParseTerm
lamDotHasCASL.ParseTerm
lamPatternHasCASL.ParseTerm
lamSCommon.Keywords
lAndCommon.Keywords
LANGRANGEOWL2.Keywords
langRangeSOWL2.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
LanguageDefinedByPersistence.Schema
languageDefinedByPersistence.Schema
LanguageDescriptionPersistence.Schema
languageDescriptionPersistence.Schema
LanguageId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LanguageKeyPersistence.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
languageMappingPGIP.GraphQL.Result.LogicMapping
LanguageMappingId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LanguageMappingKeyPersistence.Schema
LanguageMappingSourceIdPersistence.Schema
languageMappingSourceIdPersistence.Schema
LanguageMappingTargetIdPersistence.Schema
languageMappingTargetIdPersistence.Schema
languageMappingToResultPGIP.GraphQL.Resolver.ToResult
LanguageNamePersistence.Schema
languageNamePersistence.Schema
LanguageQualSyntax.AS_Structured
languageSOWL2.Keywords
LanguageSlugPersistence.Schema
languageSlugPersistence.Schema
LanguageStandardizationStatusPersistence.Schema
languageStandardizationStatusPersistence.Schema
LanguageTagOWL2.AS
languageTag 
1 (Function)OWL2.ParseMS
2 (Function)OWL2.Parse
languageToResultPGIP.GraphQL.Resolver.ToResult
language_nameLogic.Logic
Last 
1 (Type/Class)GUI.HTkUtils
2 (Data Constructor)GUI.HTkUtils
lastAccessPGIP.Shared
lastCharCMDL.Utils
LastEndGUI.HTkUtils
lastStringCMDL.Utils
latexFooterCommon.PrintLaTeX
latexHeaderCommon.PrintLaTeX
latex_macroCommon.LaTeX_funs
LATINLF.Twelf2GR
Latin1Common.IO
latinEnvLF.Twelf2GR
LatticeCommon.Lattice, CASL.Sublogic
laxFstLogic.Grothendieck
laxModifLogic.Grothendieck
laxSndLogic.Grothendieck
laxTargetLogic.Grothendieck
LaxTriangle 
1 (Type/Class)Logic.Grothendieck
2 (Data Constructor)Logic.Grothendieck
layoutImproveAll 
1 (Function)Taxonomy.AbstractGraphView
2 (Function)GUI.GraphAbstraction
LazyfixHasCASL.PrintAs
lazyTypeHasCASL.ParseTerm
lazyTypeConstrHasCASL.AsUtils
lazyTypeIdHasCASL.AsUtils
LBGoalView 
1 (Type/Class)GUI.HTkUtils
2 (Data Constructor)GUI.HTkUtils
LBIndicatorConjecturedGUI.HTkUtils
LBIndicatorDisprovedGUI.HTkUtils
LBIndicatorGuessedGUI.HTkUtils
LBIndicatorHandwrittenGUI.HTkUtils
LBIndicatorOpenGUI.HTkUtils
LBIndicatorProvedGUI.HTkUtils
LBIndicatorProvedInconsistentGUI.HTkUtils
lbrace 
1 (Function)Common.Lib.Pretty
2 (Function)Common.Doc
lbrack 
1 (Function)Common.Lib.Pretty
2 (Function)Common.Doc
LBStatusIndicatorGUI.HTkUtils
lcmSCSL.Keywords
lcofSCSL.Keywords
lconsSIsabelle.IsaConsts
lconsVIsabelle.IsaConsts
leadingCMDL.ParseProofScript
leadingSymCASL.CCC.TermFormula
leadingSymPosCASL.CCC.TermFormula
leadingTermPredicationCASL.CCC.TermFormula
leastCommonSymbolsPersistence.Reasoning.PremiseSelectionSInE
leastUpperBoundTPTP.Sublogic
LeaveGUI.HTkUtils
leavesHasCASL.FoldType
LeftAssocOMDoc.DataTypes
leftAssocExprCommon.XPath
LeftIdMaude.AS_Maude
leftIdMaude.AS_Maude
LeftLabelGUI.HTkUtils
LeftModeCommon.Lib.Pretty
LeftOpenStatic.DgUtils
leftPTIsabelle.IsaConsts
LeftRightGUI.UDGUtils
leftTriangleLogic.Grothendieck
left_assocSCommon.Keywords
legalColourIDGUI.HTkUtils
legalMor 
1 (Function)CASL.Morphism
2 (Function)HasCASL.Morphism
3 (Function)OWL2.Morphism
legalMorphismExtensionCASL.Morphism
legal_morLogic.Logic
LEMSoftFOL.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
lemmaContextIsabelle.IsaSign
lemmaNameIsabelle.IsaSign
lemmaProofIsabelle.IsaSign
lemmaPropsIsabelle.IsaSign
LemmasIsabelle.IsaSign
lemmaSIsabelle.IsaConsts
lemmasCCProverDecompositionThmsSCspCASLProver.Consts
lemmasCCProverInjectivityThmsSCspCASLProver.Consts
lemmasEmbInjAxSCspCASLProver.Consts
lemmasIdentityAxSCspCASLProver.Consts
lemmasListIsabelle.IsaSign
lemmasNotDefBotAxSCspCASLProver.Consts
lemmasSIsabelle.IsaConsts
lemmasTotalityAxSCspCASLProver.Consts
lemmasTransAxSCspCASLProver.Consts
lemmaTarget 
1 (Function)Isabelle.IsaExport
2 (Function)Isabelle.IsaSign
Lemma_Attrs 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
lemsPVSE.Prove
LENGTHOWL2.Keywords
lengthS 
1 (Function)CSL.Keywords
2 (Function)OWL2.Keywords
LeoSoftFOL.ProveDarwin
leo2TPTP.Prover.Leo2
leoIIProverTHF.ProveLeoII
LEQCSMOF.Sign
leqClassesCommon.Lib.Rel
leqFCASL.Overload
leqPCASL.Overload
leqSCSL.Keywords
leqSortCASL.Overload
Less 
1 (Data Constructor)THF.As
2 (Data Constructor)TPTP.AS
lessCommon.Doc
Lesseq 
1 (Data Constructor)THF.As
2 (Data Constructor)TPTP.AS
lessEqCommon.Keywords
lesserKindHasCASL.ClassAna
lesserOpInfoHasCASL.TypeAna
lesserRawKindHasCASL.ClassAna
lesserTypeHasCASL.TypeAna
lesserTypeSchemeHasCASL.TypeAna
lesserVarianceHasCASL.ClassAna
lesspSCSL.Keywords
lessSCommon.Keywords
lessSublogicComorLogic.Grothendieck
lessTCommon.AnnoState
Let 
1 (Data Constructor)Fpl.As
2 (Data Constructor)HasCASL.As
3 (Data Constructor)Isabelle.IsaSign
4 (Data Constructor)TIP.AbsTIP
LetBrandHasCASL.As
LetDecl 
1 (Type/Class)TIP.AbsTIP
2 (Data Constructor)TIP.AbsTIP
letS 
1 (Function)CSL.Keywords
2 (Function)Common.Keywords
letSubstIsabelle.IsaSign
LetTermHasCASL.As
letTerm 
1 (Function)Fpl.As
2 (Function)HasCASL.ParseTerm
letVarFpl.As
lexemCASL.Kif
lexemeParserCSL.Parse_AS_Basic
LexicalFormOWL2.AS
lExpAQVTR.As
lExpOQVTR.As
lExpreQVTR.As
LF 
1 (Data Constructor)Framework.AS
2 (Type/Class)LF.Logic_LF
3 (Data Constructor)LF.Logic_LF
lfBaseLF.Twelf2GR
lfModLF.Twelf2GR
lfSCommon.Keywords
lfToUfComorphisms.HasCASL2THFP_P
lFunSIsabelle.IsaConsts
lglueCspCASL.Print_CspCASL
lGToJsonLogic.LGToJson
lGToXmlLogic.LGToXml
lhsSCSL.Keywords
liamsRelatedCommAlphaCspCASL.SymMapAna
liamsRelatedCommTypesCspCASL.SymMapAna
LibInterfaces.Command
libdirsDriver.Options
LibEnvStatic.DevGraph
libEnv_translationStatic.DGTranslation
liberalVarianceHasCASL.VarDecl
LibFileInterfaces.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
LibFuncGUI.GraphTypes
libGraphLockGUI.GraphTypes
libMapOMDoc.Import
LibName 
1 (Type/Class)Common.LibName
2 (Data Constructor)Common.LibName
libName 
1 (Function)Static.XGraph
2 (Function)GUI.GraphTypes
libNameFromURLOMDoc.Import
libNameToFileDriver.ReadFn
libNameToIdCommon.LibName
Library 
1 (Type/Class)PGIP.GraphQL.Result.Library
2 (Data Constructor)PGIP.GraphQL.Result.Library
3 (Data Constructor)Persistence.Schema.Enums
librarySyntax.Parse_AS_Library
librarySCommon.Keywords
libraryToResultPGIP.GraphQL.Resolver.ToResult
LIBSLF.Twelf2GR
LibsInterfaces.Command
LIBS_EXTLF.Twelf2GR
libToFileNameCommon.LibName
libToStringCommon.LibName
libVersionCommon.LibName
LIB_DEFNSyntax.AS_Library
Lib_defnSyntax.AS_Library
LIB_ITEMSyntax.AS_Library
Lift2CaseComorphisms.PPolyTyConsHOL2IsaUtils
Lift2RestrictComorphisms.PPolyTyConsHOL2IsaUtils
liftDepIsabelle.IsaConsts
liftEStatic.DevGraph
liftIT2AICommon.Item
liftIT2ICommon.Item
liftNameTopHybrid.Utilities
liftOrStatic.DgUtils
liftRCommon.ResultT
liftStringIsabelle.IsaConsts
liftToMaybeTCommon.Lib.Maybe
ligaturesCommon.LaTeX_maps
Line 
1 (Data Constructor)FreeCAD.As
2 (Type/Class)GUI.HTkUtils
lineAnnosCommon.AnnoState
linearSCSL.Keywords
lineComment 
1 (Function)Adl.Parse
2 (Function)Maude.Parse
3 (Function)QVTR.Parser
LineEndGUI.HTkUtils
lineLengthCommon.Lib.Pretty
linelengthSCSL.Keywords
LineStartGUI.HTkUtils
Line_annoCommon.AS_Annotation
LINKLF.Twelf2GR
Link 
1 (Type/Class)CSMOF.As
2 (Data Constructor)CSMOF.As
3 (Data Constructor)Interfaces.Command
linkCSMOF.As
linkClassCSMOF.Parser
LinkInfoOMDoc.Import
linkKCSMOF.XMLKeywords
LinkKindStatic.DgUtils
LinkNodeOMDoc.Import
linkObjectCSMOF.Parser
linkOwnerCSMOF.As
linkPropertyCSMOF.Parser
linksCSMOF.Sign
linkSourceKCSMOF.XMLKeywords
linksPVSE.Prove
linkStatusStatic.DgUtils
LinkT 
1 (Type/Class)CSMOF.Sign
2 (Data Constructor)CSMOF.Sign
linkTargetKCSMOF.XMLKeywords
linkTypeCSMOF.As
linkTypeElemCSMOF.Parser
linkTypeKCSMOF.XMLKeywords
lispSCSL.Keywords
List 
1 (Data Constructor)CASL.Kif
2 (Data Constructor)CSL.AS_BASIC_CSL
listCommonLogic.PredefinedCASLAxioms
listargpSCSL.Keywords
listargsSCSL.Keywords
ListBoxGUI.HTkUtils
listBox 
1 (Function)GUI.HTkUtils
2 (Function)GUI.Utils
ListBoxElem 
1 (Type/Class)GUI.HTkUtils
2 (Data Constructor)GUI.HTkUtils
listBoxSubwidgetGUI.HTkUtils
ListChange 
1 (Type/Class)Interfaces.DataTypes
2 (Data Constructor)Interfaces.DataTypes
ListCheckCASL.ToDoc
listChoiceGUI.GtkUtils
listChoiceAuxGUI.GtkUtils
listChoiceExtGUI.GtkUtils
listCMDRecordCSL.Fold
ListConsCommon.GlobalAnnotations
listDGEdgeTypesStatic.DgUtils
listDGNodeTypesStatic.DgUtils
listenDriver.Options
listEventInfoSetGUI.HTkUtils
listexpCSL.Parse_AS_Basic
ListFrameBit 
1 (Data Constructor)OWL2.MS
2 (Type/Class)OWL2.MS
listFromALCommon.Item
listFromLCommon.Item
listFromLWithACommon.Item
listFromXmlOMDoc.XmlInterface
ListNullCommon.GlobalAnnotations
ListOfListCASL.Kif
ListOrTupleCommon.Data
listRulesCommon.Earley
listS 
1 (Function)CSL.Keywords
2 (Function)Common.Keywords
listSigCommonLogic.PredefinedCASLAxioms
listTIsabelle.IsaConsts
listToTypesHolLight.HolLight2DG
listToXmlOMDoc.XmlInterface
listVarDeclMaude.PreComorphism
listWithErrorGUI.HTkUtils
List_annoCommon.AS_Annotation
list_litCommon.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
LiteralAnnosCommon.GlobalAnnotations
literalKOWL2.XMLKeywords
LiteralMapCommon.GlobalAnnotations
LiteralTypeCommon.GlobalAnnotations
literal_annosCommon.GlobalAnnotations
literal_mapCommon.GlobalAnnotations
LitFalseTIP.AbsTIP
LitIntTIP.AbsTIP
LitNegIntTIP.AbsTIP
LitPatTIP.AbsTIP
LitTrueTIP.AbsTIP
litTypeOWL2.AS
Lit_atomicTPTP.AS
Lit_fof_infixTPTP.AS
Lit_negativeTPTP.AS
lkup 
1 (Function)CASL.CompositionTable.ModelFormula
2 (Function)CASL.CompositionTable.ModelTable
lliftbinSIsabelle.IsaConsts
llRangeCASL.Kif2CASL
lltermSCSL.Keywords
lmargin1GUI.HTkUtils
lmargin2GUI.HTkUtils
lnode 
1 (Function)Static.ToXml
2 (Function)Static.ToJson
LNSStatic.AnalysisLibrary
lnSCSL.Keywords
loadFromUriCommon.Http
loadLibrariesMaude.PreComorphism
loadLibraryHetsAPI.Commands, HetsAPI
loadNaturalNatSensMaude.PreComorphism
loadpackageSCSL.Keywords
loadRefLibStatic.FromXml
loadSCSL.Keywords
loadScriptInterfaces.DataTypes
LoadScriptChangeInterfaces.DataTypes
Local 
1 (Data Constructor)Static.DgUtils
2 (Data Constructor)GUI.HTkUtils
LocalAxiomsInterfaces.Command
localConsThmStatic.DevGraph
LocalDecompInterfaces.Command
localDecompositionHetsAPI.Commands, HetsAPI
LocalDef 
1 (Data Constructor)Persistence.Schema.MappingType
2 (Data Constructor)Static.DgUtils
localDefStatic.DevGraph
Locale 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
3 (Data Constructor)Isabelle.IsaSign
localePersistence.DBConfig
localeBodyIsabelle.IsaSign
localeContextIsabelle.IsaSign
LocaleDeclIsabelle.IsaSign
localeName 
1 (Function)Isabelle.IsaExport
2 (Function)Isabelle.IsaSign
localeParentsIsabelle.IsaSign
LocalesIsabelle.IsaSign
localesIsabelle.IsaSign
Locale_Attrs 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
LocalInferenceInterfaces.Command
localInference 
1 (Function)Proofs.Local
2 (Function)HetsAPI.Commands, HetsAPI
localInferenceFromListProofs.Local
localityJarOWL2.Conservativity
locallyFilteredCommon.Lib.Rel
LocalMenu 
1 (Type/Class)GUI.UDGUtils
2 (Data Constructor)GUI.UDGUtils
localNameCommon.XPath
localOrGlobalDefStatic.DevGraph
localOrGlobalThmStatic.DevGraph
localSCommon.Keywords
localSigOMDoc.Import
localThmStatic.DevGraph
LocalThmOpenPersistence.Schema.MappingType
LocalThmProvedPersistence.Schema.MappingType
LocalTypeVarsHasCASL.Le
localTypeVarsHasCASL.Le
localVarsHasCASL.Le
Local_specSyntax.AS_Structured
Local_unitSyntax.AS_Architecture
Local_var_axiomsCASL.AS_Basic_CASL
locDecompProofs.Local
locDecompFromListProofs.Local
LocFilSubCASL.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
LocIdBaseFileVersionIdPersistence.Schema
locIdBaseFileVersionIdPersistence.Schema
LocIdBaseId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LocIdBaseKeyPersistence.Schema
LocIdBaseKindPersistence.Schema
locIdBaseKindPersistence.Schema
LocIdBaseKindTypePersistence.Schema.Enums
LocIdBaseLocIdPersistence.Schema
locIdBaseLocIdPersistence.Schema
locIdOfDocumentPersistence.Utils
locIdOfMappingPersistence.Utils
locIdOfOMSPersistence.Utils
locIdOfOMSWithNamePersistence.Utils
locIdOfSentencePersistence.Utils
locIdOfSymbolPersistence.Utils
LocIdReference 
1 (Type/Class)PGIP.GraphQL.Result.LocIdReference
2 (Data Constructor)PGIP.GraphQL.Result.LocIdReference
locIRICommon.LibName
LockGUI.HTkUtils
lockGlobalGUI.GraphTypes
log10SCSL.Keywords
logbSCSL.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
LogicalFrameworkLogic.Logic
logicalPartSoftFOL.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
logicFormula2UnitaryFormulaComorphisms.THFP2THF0
LogicGraph 
1 (Type/Class)Logic.Grothendieck
2 (Data Constructor)Logic.Grothendieck
logicGraphComorphisms.LogicGraph
logicGraph2GraphLogic.Grothendieck
logicGraphForFileComorphisms.LogicGraph
LogicId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
logicIdProofs.AbstractState
LogicInclusion 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
logicInclusionLogic.Grothendieck
LogicInclusionId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LogicInclusionKeyPersistence.Schema
LogicInclusionLanguageIdPersistence.Schema
logicInclusionLanguageIdPersistence.Schema
LogicInclusionNamePersistence.Schema
logicInclusionNamePersistence.Schema
LogicInclusionSlugPersistence.Schema
logicInclusionSlugPersistence.Schema
LogicInclusionSourceIdPersistence.Schema
logicInclusionSourceIdPersistence.Schema
LogicInclusionTargetIdPersistence.Schema
logicInclusionTargetIdPersistence.Schema
LogicKeyPersistence.Schema
LogicLanguageIdPersistence.Schema
logicLanguageIdPersistence.Schema
logicListComorphisms.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
logicMappingPGIP.GraphQL.Result.SignatureMorphism
LogicMappingHasModelExpansionPersistence.Schema
logicMappingHasModelExpansionPersistence.Schema
LogicMappingId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LogicMappingIsInclusionPersistence.Schema
logicMappingIsInclusionPersistence.Schema
LogicMappingIsWeaklyAmalgamablePersistence.Schema
logicMappingIsWeaklyAmalgamablePersistence.Schema
LogicMappingKeyPersistence.Schema
LogicMappingLanguageMappingIdPersistence.Schema
logicMappingLanguageMappingIdPersistence.Schema
LogicMappingNamePersistence.Schema
logicMappingNamePersistence.Schema
LogicMappingSlugPersistence.Schema
logicMappingSlugPersistence.Schema
LogicMappingSourceIdPersistence.Schema
logicMappingSourceIdPersistence.Schema
LogicMappingTargetIdPersistence.Schema
logicMappingTargetIdPersistence.Schema
logicMappingToResultPGIP.GraphQL.Resolver.ToResult
LogicNamePersistence.Schema
logicName 
1 (Function)Persistence.Schema
2 (Function)Static.XGraph
logicNameForDBPersistence.Utils
logicNameForDBByNamePersistence.Utils
logicNamesLogic.KnownIris
logicOfGsignLogic.Grothendieck
logicSCommon.Keywords
logicsLogic.Grothendieck
LogicSlugPersistence.Schema
logicSlugPersistence.Schema
LogicTCommon.LogicT
logicToJsonLogic.LGToJson
logicToResultPGIP.GraphQL.Resolver.ToResult
logicToXmlLogic.LGToXml
LogicTranslation 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LogicTranslationId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LogicTranslationKeyPersistence.Schema
LogicTranslationNamePersistence.Schema
logicTranslationNamePersistence.Schema
LogicTranslationSlugPersistence.Schema
logicTranslationSlugPersistence.Schema
LogicTranslationStep 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LogicTranslationStepId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
LogicTranslationStepKeyPersistence.Schema
LogicTranslationStepLogicInclusionIdPersistence.Schema
logicTranslationStepLogicInclusionIdPersistence.Schema
LogicTranslationStepLogicMappingIdPersistence.Schema
logicTranslationStepLogicMappingIdPersistence.Schema
LogicTranslationStepLogicTranslationIdPersistence.Schema
logicTranslationStepLogicTranslationIdPersistence.Schema
LogicTranslationStepNumberPersistence.Schema
logicTranslationStepNumberPersistence.Schema
logicUnionLogic.Grothendieck
Logic_code 
1 (Type/Class)Syntax.AS_Structured
2 (Data Constructor)Syntax.AS_Structured
Logic_declSyntax.AS_Library
Logic_name 
1 (Type/Class)Syntax.AS_Structured
2 (Data Constructor)Syntax.AS_Structured
logIdHasCASL.Builtin
logPrefixLogic.KnownIris
logSCSL.Keywords
logsentCommonLogic.Parse_KIF
logTypeHasCASL.Builtin
log_typesIsabelle.IsaSign
longLiteralRDF.Parse
longSOWL2.Keywords
longTestRelationalScheme.ParseRS
lookaheadPositionCommon.Lexer
lookup 
1 (Function)Common.Lib.MapSet
2 (Function)Common.OrderedMap
lookupBinderCSL.AS_BASIC_CSL
lookupBindInfoCSL.AS_BASIC_CSL
lookupCachePGIP.RequestCache
lookupCharMapCommon.ProofUtils
lookupComorphismLogic.Grothendieck
lookupComorphism_in_LGComorphisms.LogicGraph
lookupCompComorphismLogic.Grothendieck
lookupCurrentLogicLogic.Grothendieck
lookupCurrentSyntaxLogic.Grothendieck
lookupDefaultLogic.Logic
lookupDGraphStatic.DevGraph
lookupDisplayCommon.GlobalAnnotations
lookupDisplayFormatCommon.AS_Annotation
lookupGlobalEnvDGStatic.DevGraph
lookupHistoryProofs.StatusUtils
lookupInAllRefNodesDGStatic.DevGraph
lookupKnownConsCheckerProofs.AbstractState
lookupKnownProverProofs.AbstractState
lookupLibOMDoc.Import
lookupLocalNodeStatic.DevGraph
lookupLocalNodeByNameStatic.DevGraph
lookupLocalNodeByNameInEnvStatic.DevGraph
lookupLogicLogic.Grothendieck
lookupLogicNameLogic.KnownIris
lookupModificationLogic.Grothendieck
lookupMorMapDGStatic.DevGraph
lookupMorphLF.Twelf2GR
lookupNodeOMDoc.Import
lookupNodeByNameStatic.DevGraph
lookupNotationOMDoc.DataTypes
lookupNotationInMapOMDoc.DataTypes
lookupNSMapOMDoc.Import
lookupOperatorCSL.AS_BASIC_CSL
lookupOpInfoCSL.AS_BASIC_CSL
lookupOpInfoForParsingCSL.AS_BASIC_CSL
lookupProcVSE.Ana
lookupProcSymbolCspCASL.SymMapAna
lookupQTA_in_LGComorphisms.LogicGraph
lookupRedShellCmdCSL.Reduce_Interface
lookupRefNodeStatic.DevGraph
lookupRefNodeMStatic.DevGraph
lookupSemanticAnnoCommon.AS_Annotation
lookupSerializationLogic.KnownIris
lookupSigLF.Twelf2GR
lookupSigMapDGStatic.DevGraph
lookupSquareLogic.Grothendieck
lookupSquare_in_LGComorphisms.LogicGraph
lookupSymCSL.Sign
lookupThMapDGStatic.DevGraph
lookupUniqueLinkStatic.DevGraph
lookupUniqueNodeByNameStatic.DevGraph
lookupWithACommon.InjMap
lookupWithBCommon.InjMap
lookupWithInsertOMDoc.Export
loopsCommon.Lib.Graph
Loose 
1 (Data Constructor)CASL.StaticAna
2 (Data Constructor)HasCASL.Le
lOrCommon.Keywords
lossyTransDriver.Options
LowerCommon.AS_Annotation
lowerCSMOF.As
lowerItemGUI.HTkUtils
lowerShowCommon.XPath
lowerTextTagGUI.HTkUtils
lowerWinGUI.HTkUtils
lowpowSCSL.Keywords
lowPrioIsabelle.IsaConsts
lpairTermIsabelle.IsaConsts
lparCommon.XPath
lparen 
1 (Function)Common.Lib.Pretty
2 (Function)Common.Doc
lProdSIsabelle.IsaConsts
lStrQVTR.As
lstringCSL.Parse_AS_Basic
lSumSIsabelle.IsaConsts
lTypeStatic.XGraph
lubLogic.Logic
LucidaGUI.HTkUtils
l_annosCommon.AS_Annotation