| LA | Common.GlobalAnnotations |
| LEdge | Common.Lib.Graph |
| LIB_DEFN | Syntax.AS_Library |
| LIB_ID | Syntax.AS_Library |
| LIB_ITEM | Syntax.AS_Library |
| LIB_NAME | Syntax.AS_Library |
| LNode | Common.Lib.Graph |
| LPath | Common.Lib.Graph |
| Label | Common.AS_Annotation |
| LamPat | Haskell.Hatchet.Utils |
| LambdaTerm | HasCASL.As |
| Language | Logic.Logic |
| LatticeWithTop | Logic.Logic |
| Layout | Haskell.Hatchet.HsParseMonad |
| LazyType | HasCASL.As |
| Leaf | Haskell.Hatchet.FiniteMaps |
| LeftArrow | Haskell.Hatchet.HsLexer |
| LeftCurly | Haskell.Hatchet.HsLexer |
| LeftMode |
| 1 (Data Constructor) | Common.Lib.Pretty |
| 2 (Data Constructor) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| LeftParen | Haskell.Hatchet.HsLexer |
| LeftSquare | Haskell.Hatchet.HsLexer |
| Let | HasCASL.As |
| LetBrand | HasCASL.As |
| LetFun | Haskell.Hatchet.Utils |
| LetTerm | HasCASL.As |
| LexContext | Haskell.Hatchet.HsParseMonad |
| LibDir | Options |
| LibEnv | Static.DevGraph |
| Lib_defn | Syntax.AS_Library |
| Lib_id | Syntax.AS_Library |
| Lib_version | Syntax.AS_Library |
| Line | Common.Lib.Parsec, Common.Lib.Parsec.Pos |
| Line_anno | Common.AS_Annotation |
| ListCheck | Common.PPUtils |
| ListCons | Common.GlobalAnnotations |
| ListNull | Common.GlobalAnnotations |
| List_anno | Common.AS_Annotation |
| LiteralAnnos | Common.GlobalAnnotations |
| LiteralMap | Common.GlobalAnnotations |
| LiteralType | Common.GlobalAnnotations |
| LocDecomp | Proofs.Proofs |
| LocalDef | Static.DevGraph |
| LocalInference | Proofs.Proofs |
| LocalThm | Static.DevGraph |
| Local_spec | Syntax.AS_Structured |
| Local_unit | Syntax.AS_Architecture |
| Local_var_axioms | CASL.AS_Basic_CASL |
| Logic |
| 1 (Type/Class) | Logic.Logic |
| 2 (Data Constructor) | Logic.Logic |
| LogicGraph |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | 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 |
| Loose |
| 1 (Data Constructor) | CASL.StaticAna |
| 2 (Data Constructor) | HasCASL.Le |
| Lower | Common.AS_Annotation |
| lAnd | Common.Keywords |
| lJustify | Haskell.Hatchet.Utils |
| lOr | Common.Keywords |
| l_annos | Common.AS_Annotation |
| lab' | Common.Lib.Graph |
| labEdges | Common.Lib.Graph |
| labNode' | Common.Lib.Graph |
| labNodes | Common.Lib.Graph |
| labUAdj | Common.Lib.Graph |
| labUEdges | Common.Lib.Graph |
| labUNodes | Common.Lib.Graph |
| label |
| 1 (Function) | Common.Anno_Parser |
| 2 (Function) | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| labels | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| lamDot | HasCASL.ParseTerm |
| lamPattern | HasCASL.ParseTerm |
| lamS | HasCASL.HToken |
| lambdaS | Common.Keywords |
| lambdaTerm | HasCASL.ParseTerm |
| langNameExtSig | Logic.Grothendieck |
| langNameSig | Logic.Grothendieck |
| language_name | Logic.Logic |
| latexEnd | Syntax.Print_AS_Library |
| latex_macro | Common.LaTeX_funs, Common.PPUtils |
| layout |
| 1 (Function) | Haskell.Hatchet.AHsPretty |
| 2 (Function) | Haskell.Hatchet.HsPretty |
| lazyType | HasCASL.ParseTerm |
| lbrace |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| lbrack |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| left_most_pos | CASL.Print_AS_Basic |
| legalEnv | HasCASL.Morphism |
| legalMor | HasCASL.Morphism |
| legal_mor | Logic.Logic |
| legal_obj | Logic.Logic |
| lessS | Common.Keywords |
| lessT | Common.AnnoState |
| lesserKind | HasCASL.TypeAna |
| letIndent |
| 1 (Function) | Haskell.Hatchet.AHsPretty |
| 2 (Function) | Haskell.Hatchet.HsPretty |
| letS |
| 1 (Function) | CspCASL.CCKeywords |
| 2 (Function) | HasCASL.HToken |
| letT | CspCASL.CCLexer |
| letTerm | HasCASL.ParseTerm |
| letter |
| 1 (Function) | Haskell.Hatchet.ParseLib |
| 2 (Function) | Common.Lib.Parsec, Common.Lib.Parsec.Char |
| lexeme | Common.Lexer |
| lexer | Haskell.Hatchet.HsLexer |
| libId | Syntax.Parse_AS_Library |
| libItem | Syntax.Parse_AS_Library |
| libItems | Syntax.Parse_AS_Library |
| libName | Syntax.Parse_AS_Library |
| libdir | Options |
| libname2dg | GUI.ConvertDevToAbstractGraph |
| library | Syntax.Parse_AS_Library |
| libraryS | Common.Keywords |
| ligatures | Common.LaTeX_maps |
| lineAnnos | Common.AnnoState |
| lineComment | Haskell.Wrapper |
| lineLength | Common.Lib.Pretty |
| listBrackets | Common.ListBrackets |
| listInsert | Common.Lib.Map |
| listRules | Common.Earley |
| listSep_latex | Common.PPUtils |
| listSep_text | Common.PPUtils |
| listSigsToSigEnv | Haskell.Hatchet.TypeSigs |
| listToCombFM | Haskell.Hatchet.FiniteMaps |
| listToEnv | Haskell.Hatchet.Env |
| listToFM | Haskell.Hatchet.FiniteMaps |
| list_anno | Common.Anno_Parser |
| list_lit | Common.GlobalAnnotations |
| list_tycon | Haskell.Hatchet.HsSyn |
| list_tycon_name | Haskell.Hatchet.HsSyn |
| literal_2ids_anno | Common.Anno_Parser |
| literal_annos | Common.GlobalAnnotations |
| literal_map | Common.GlobalAnnotations |
| locDecomp | Proofs.Proofs |
| locDecompAux | Proofs.Proofs |
| locMsg | Haskell.Hatchet.Diagnostic |
| locSimple | Haskell.Hatchet.Diagnostic |
| localS | Common.Keywords |
| locallyEmpty | Static.DevGraph |
| logType | HasCASL.TypeCheck |
| logicGraph | Comorphisms.LogicGraph |
| logicList | Comorphisms.LogicGraph |
| logicS | Common.Keywords |
| logicSpec | Syntax.Parse_AS_Structured |
| logicalType | HasCASL.As |
| logics | Logic.Grothendieck |
| lookAhead | Common.Lib.Parsec, Common.Lib.Parsec.Combinator |
| lookup |
| 1 (Function) | Common.DFiniteMap |
| 2 (Function) | Common.Lib.Map |
| lookupComorphism | Logic.Grothendieck |
| lookupComorphism_in_LG | Comorphisms.LogicGraph |
| lookupDftFM | Haskell.Hatchet.FiniteMaps |
| lookupDisplay | Common.GlobalAnnotations |
| lookupDisplayFormat | Common.AS_Annotation |
| lookupEnv | Haskell.Hatchet.Env |
| lookupError | HasCASL.TypeCheck |
| lookupFM |
| 1 (Function) | Common.Lib.SimpleMap |
| 2 (Function) | Haskell.Hatchet.FiniteMaps |
| lookupInMap | Haskell.Hatchet.Representation |
| lookupIndex | Common.Lib.Map |
| lookupLogic | Logic.Grothendieck |
| lookupLogicName | Syntax.Parse_AS_Structured |
| lookupLogic_in_LG | Comorphisms.LogicGraph |
| lookupSemanticAnno | Common.AS_Annotation |
| lower |
| 1 (Function) | Haskell.Hatchet.ParseLib |
| 2 (Function) | Common.Lib.Parsec, Common.Lib.Parsec.Char |
| lparen |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
