| LA | Common.GlobalAnnotations |
| labDG | Static.DevGraph |
| labEdgesDG | Static.DevGraph |
| Label | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | Common.AS_Annotation |
| 3 (Type/Class) | Common.Doc |
| 4 (Data Constructor) | Maude.AS_Maude |
| label | |
| 1 (Function) | OWL2.Keywords |
| 2 (Function) | OWL2.AS |
| 3 (Function) | Adl.As |
| Labeled | Syntax.AS_Structured |
| LABELED_ONTO_OR_INTPR_REF | Syntax.AS_Structured |
| LabelFrame | GUI.HTkUtils |
| labelHasFree | Static.DevGraph |
| labelHasHiding | Static.DevGraph |
| LabelId | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Data Constructor) | Maude.AS_Maude |
| labelMap | |
| 1 (Function) | OWL2.Sign |
| 2 (Function) | Maude.Morphism |
| labelNode | Common.Lib.Graph |
| labelNodeDG | Static.DevGraph |
| LabelRenaming | Maude.AS_Maude |
| LabelSide | GUI.HTkUtils |
| labelSide | GUI.HTkUtils |
| Labl | Maude.Symbol |
| labNodesDG | Static.DevGraph |
| labRT | Static.DevGraph |
| Lamb | LF.Sign |
| 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 | Logic.Logic |
| languageS | OWL2.Keywords |
| LanguageTag | OWL2.AS |
| languageTag | OWL2.Parse |
| language_name | Logic.Logic |
| Last | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| 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 |
| 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) | OWL2.Morphism |
| 2 (Function) | CASL.Morphism |
| 3 (Function) | HasCASL.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) | THF.As |
| 5 (Data Constructor) | SoftFOL.Sign |
| 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 |
| 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) | OWL2.ShipSyntax |
| 2 (Data Constructor) | THF.As |
| less | Common.Doc |
| Lesseq | THF.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) | Isabelle.IsaSign |
| 2 (Data Constructor) | Fpl.As |
| 3 (Data Constructor) | HasCASL.As |
| LetBrand | HasCASL.As |
| 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 |
| lFB | OWL2.Profiles |
| lfBase | LF.Twelf2GR |
| lfMod | LF.Twelf2GR |
| lfS | Common.Keywords |
| lfToUf | Comorphisms.HasCASL2THFP_P |
| lFunS | Isabelle.IsaConsts |
| lglue | CspCASL.Print_CspCASL |
| 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 | Proofs.DGFlattening |
| libFlatHeterogen | Proofs.DGFlattening |
| libFlatHiding | Proofs.DGFlattening |
| libFlatImports | Proofs.DGFlattening |
| libFlatRenamings | Proofs.DGFlattening |
| 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 |
| library | Syntax.Parse_AS_Library |
| libraryS | Common.Keywords |
| LIBS | LF.Twelf2GR |
| Libs | Interfaces.Command |
| LIBS_EXT | LF.Twelf2GR |
| libToFileName | Common.LibName |
| LIB_DEFN | Syntax.AS_Library |
| Lib_defn | Syntax.AS_Library |
| LIB_ITEM | Syntax.AS_Library |
| Lift | Haskell.HatParser |
| lift | Haskell.HatParser |
| Lift2Case | Comorphisms.PPolyTyConsHOL2IsaUtils |
| Lift2Restrict | Comorphisms.PPolyTyConsHOL2IsaUtils |
| liftDep | Isabelle.IsaConsts |
| liftE | Static.DevGraph |
| liftIT2AI | Common.Item |
| liftIT2I | Common.Item |
| liftMapByList | Comorphisms.Hs2HOLCFaux |
| liftMapByListD | Comorphisms.Hs2HOLCFaux |
| liftName | TopHybrid.Utilities |
| liftOr | Static.DgUtils |
| liftR | Common.ResultT |
| liftString | Isabelle.IsaConsts |
| liftToMaybeT | Common.Lib.Maybe |
| ligatures | Common.LaTeX_maps |
| Line | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | FreeCAD.As |
| lineAnnos | Common.AnnoState |
| linearS | CSL.Keywords |
| lineComment | |
| 1 (Function) | Maude.Parse |
| 2 (Function) | Haskell.Wrapper |
| 3 (Function) | Adl.Parse |
| 4 (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 (Data Constructor) | Interfaces.Command |
| 2 (Type/Class) | CSMOF.As |
| 3 (Data Constructor) | CSMOF.As |
| link | CSMOF.As |
| linkClass | CSMOF.Parser |
| LinkInfo | OMDoc.Import |
| linkK | CSMOF.XMLKeywords |
| LinkKind | Static.DgUtils |
| LinkNode | OMDoc.Import |
| linkObject | CSMOF.Parser |
| linkOwner | CSMOF.As |
| LinkPath | |
| 1 (Type/Class) | Common.LibName |
| 2 (Data Constructor) | Common.LibName |
| linkProperty | CSMOF.Parser |
| links | CSMOF.Sign |
| linkSourceK | CSMOF.XMLKeywords |
| linksP | VSE.Prove |
| 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 |
| listBase | Haskell.HatParser |
| ListBox | GUI.HTkUtils |
| listBox | |
| 1 (Function) | GUI.Utils |
| 2 (Function) | GUI.HTkUtils |
| ListBoxElem | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | 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 |
| ListSubs | Haskell.HatParser |
| listT | Isabelle.IsaConsts |
| listToTypes | HolLight.HolLight2DG |
| listToXml | OMDoc.XmlInterface |
| listVarDecl | Maude.PreComorphism |
| listWithError | GUI.HTkUtils |
| List_anno | Common.AS_Annotation |
| list_lit | Common.GlobalAnnotations |
| list_tycon | Haskell.HatParser |
| list_tycon_name | Haskell.HatParser |
| 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 |
| literal | |
| 1 (Function) | Common.XPath |
| 2 (Function) | OWL2.Parse |
| 3 (Function) | RDF.Parse |
| 4 (Function) | OWL2.Profiles |
| LiteralAnnos | Common.GlobalAnnotations |
| literalK | OWL2.XMLKeywords |
| LiteralMap | Common.GlobalAnnotations |
| LiteralType | Common.GlobalAnnotations |
| literal_annos | Common.GlobalAnnotations |
| literal_map | Common.GlobalAnnotations |
| lkup | |
| 1 (Function) | CASL.CompositionTable.ModelTable |
| 2 (Function) | CASL.CompositionTable.ModelFormula |
| lliftbinS | Isabelle.IsaConsts |
| llRange | CASL.Kif2CASL |
| lltermS | CSL.Keywords |
| lmargin1 | GUI.HTkUtils |
| lmargin2 | GUI.HTkUtils |
| lnode | |
| 1 (Function) | Static.ToJson |
| 2 (Function) | Static.ToXml |
| LNS | Static.AnalysisLibrary |
| lnS | CSL.Keywords |
| loadFromUri | Common.Http |
| loadLibraries | Maude.PreComorphism |
| loadNaturalNatSens | Maude.PreComorphism |
| loadpackageS | CSL.Keywords |
| loadRefLib | Static.FromXml |
| loadS | CSL.Keywords |
| loadScript | Interfaces.DataTypes |
| LoadScriptChange | Interfaces.DataTypes |
| loc0 | Haskell.HatParser |
| Local | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Data Constructor) | Static.DgUtils |
| LocalAxioms | Interfaces.Command |
| localConsThm | Static.DevGraph |
| LocalDecomp | Interfaces.Command |
| LocalDef | Static.DgUtils |
| localDef | Static.DevGraph |
| Locale | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| 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 | Proofs.Local |
| localInferenceFromList | Proofs.Local |
| localityJar | OWL2.Conservativity |
| locallyFiltered | Common.Lib.Rel |
| LocalMenu | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.UDGUtils |
| localName | Common.XPath |
| localOrGlobalDef | Static.DevGraph |
| localOrGlobalThm | Static.DevGraph |
| localPart | OWL2.AS |
| localS | Common.Keywords |
| localSig | OMDoc.Import |
| localThm | Static.DevGraph |
| 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 |
| locIRI | Common.LibName |
| Lock | GUI.HTkUtils |
| lockGlobal | GUI.GraphTypes |
| log10S | CSL.Keywords |
| logbS | CSL.Keywords |
| Logic | |
| 1 (Data Constructor) | Logic.Logic |
| 2 (Type/Class) | Logic.Logic |
| logic | 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 |
| logicDescr | Syntax.Parse_AS_Structured |
| logicFormula2UnitaryFormula | Comorphisms.THFP2THF0 |
| LogicGraph | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| logicGraph | Comorphisms.LogicGraph |
| logicGraph2Graph | Logic.Grothendieck |
| logicId | Proofs.AbstractState |
| logicInclusion | Logic.Grothendieck |
| logicList | Comorphisms.LogicList |
| logicName | Static.XGraph |
| logicNames | Logic.KnownIris |
| logicOfGsign | Logic.Grothendieck |
| logicS | Common.Keywords |
| logics | Logic.Grothendieck |
| LogicT | Common.LogicT |
| logicToXml | Logic.LGToXml |
| 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 |
| LOGIC_REF | 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 | Haskell.HatParser |
| lookup | |
| 1 (Function) | Common.OrderedMap |
| 2 (Function) | Common.Lib.MapSet |
| lookupBinder | CSL.AS_BASIC_CSL |
| lookupBindInfo | CSL.AS_BASIC_CSL |
| 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 |
| Lower | Common.AS_Annotation |
| lower | CSMOF.As |
| LowerId | Haskell.TranslateId |
| 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 |