| GA | Common.GlobalAnnotations |
| GDecomp | Common.Lib.Graph |
| GENERICITY | Syntax.AS_Structured |
| GENERIC_EQUATION | CspCASL.AS_CSP_CASL |
| GEN_NAMED_PROCESS | CspCASL.AS_CSP_CASL |
| GHorn | CASL.Sublogic |
| GMorphism |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_basic_spec |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_diagram |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_ext_sign |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_hiding | Syntax.AS_Structured |
| G_l_sentence | Logic.Grothendieck |
| G_l_sentence_list | Logic.Grothendieck |
| G_logic_projection | Syntax.AS_Structured |
| G_logic_translation | Syntax.AS_Structured |
| G_mapping | Syntax.AS_Structured |
| G_morphism |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_sentence |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_sign |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_sign_list |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_sublogics |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_symb_items_list |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_symb_list | Syntax.AS_Structured |
| G_symb_map | Syntax.AS_Structured |
| G_symb_map_items_list |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_symbol |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| GenItems | HasCASL.As |
| GenKind |
| 1 (Type/Class) | CASL.StaticAna |
| 2 (Type/Class) | HasCASL.Le |
| GenParser | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| GenPat | Haskell.Hatchet.Utils |
| GenTypeVarDecl | HasCASL.As |
| GenVarDecl |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| GenVarItems | HasCASL.As |
| General_parallel | CspCASL.AS_CSP_CASL |
| Generated |
| 1 (Data Constructor) | CASL.StaticAna |
| 2 (Data Constructor) | HasCASL.Le |
| Generic | CspCASL.AS_CSP_CASL |
| Generic_equation | CspCASL.AS_CSP_CASL |
| Generic_named | CspCASL.AS_CSP_CASL |
| Generic_named_process | CspCASL.AS_CSP_CASL |
| Generic_recursive | CspCASL.AS_CSP_CASL |
| Genericity | Syntax.AS_Structured |
| GlobDecomp | Proofs.Proofs |
| GlobSubsumption | Proofs.Proofs |
| GlobalAnnos | Common.GlobalAnnotations |
| GlobalContext | Static.DevGraph |
| GlobalDef | Static.DevGraph |
| GlobalEntry | Static.DevGraph |
| GlobalEnv | Static.DevGraph |
| GlobalThm | Static.DevGraph |
| Graph |
| 1 (Type/Class) | Common.Lib.Graph |
| 2 (Type/Class) | Haskell.Hatchet.Digraph |
| GraphInfo | GUI.AbstractGraphView |
| GraphMem |
| 1 (Type/Class) | GUI.ConvertDevToAbstractGraph |
| 2 (Data Constructor) | GUI.ConvertDevToAbstractGraph |
| GraphOut | Options |
| GraphType | Options |
| Grothendieck |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| Group | Syntax.AS_Structured |
| Group_anno | Common.AS_Annotation |
| Group_arch_spec | Syntax.AS_Architecture |
| Group_unit_term | Syntax.AS_Architecture |
| Guarded_command | CspCASL.AS_CSP_CASL |
| GuessIn | Options |
| Guessed | Proofs.Proofs |
| Gui | Options |
| GuiType | Options |
| gEmbed | Logic.Grothendieck |
| genVarDecls | HasCASL.ParseTerm |
| genVarItem | HasCASL.ParseItem |
| genVarItems | HasCASL.ParseItem |
| generalize | HasCASL.Unify |
| generatedItems | HasCASL.ParseItem |
| generatedS | Common.Keywords |
| generatedSign | CASL.SymbolMapAnalysis |
| generated_sign | Logic.Logic |
| genericEquation | CspCASL.Parse_hugo |
| genericNamedProcess | CspCASL.Parse_hugo |
| genericShowList | Haskell.Hatchet.MultiModuleBasics |
| get |
| 1 (Function) | Common.Lib.State |
| 2 (Function) | GUI.AbstractGraphView |
| getAHsNamesAndASrcLocsFromAHsDecl | Haskell.Hatchet.Rename |
| getAModuleName | Haskell.Hatchet.Utils |
| getATerm | Common.ATerm.AbstractSyntax, Common.ATerm.Lib |
| getATermByIndex | Common.ATerm.AbstractSyntax, Common.ATerm.Lib |
| getATermByIndex1 | Common.ATerm.AbstractSyntax, Common.ATerm.Lib |
| getATermFull | Common.ATerm.AbstractSyntax, Common.ATerm.Lib |
| getATermIndex | Common.ATerm.AbstractSyntax, Common.ATerm.Lib |
| getAllGlobDefPathsBetween | Proofs.Proofs |
| getAllGlobPathsBetween | Proofs.Proofs |
| getAllGlobPathsOfMorphismBetween | Proofs.Proofs |
| getAllLocGlobDefPathsTo | Proofs.Proofs |
| getAllPathsOfTypeBetween | Proofs.Proofs |
| getAllPathsOfTypesBetween | Proofs.Proofs |
| getAllThmDefPathsOfMorphismBetween | Proofs.Proofs |
| getAnnos | Common.AnnoState |
| getApplConstr | HasCASL.OpDecl |
| getBindGroups | Haskell.Hatchet.DependAnalysis |
| getBrackets | HasCASL.As |
| getClassHierarchy | Haskell.Hatchet.TIMonad |
| getCompoundTokenList | Common.Id |
| getConstrType | HasCASL.DataAna |
| getContext | Haskell.Hatchet.HsParseMonad |
| getDGLinkType | GUI.ConvertDevToAbstractGraph |
| getDGNodeName | GUI.ConvertDevToAbstractGraph |
| getDGNodeType | GUI.ConvertDevToAbstractGraph |
| getDGNodeTypeAux | GUI.ConvertDevToAbstractGraph |
| getDeclDeps | Haskell.Hatchet.DeclsDepends |
| getDeclName | Haskell.Hatchet.Utils |
| getEdgeLabel | GUI.AbstractGraphView |
| getEdgeName | GUI.AbstractGraphView |
| getErrorContext | Haskell.Hatchet.TIMonad |
| getErrorStatus | Haskell.Hatchet.TIMonad |
| getFunDeclsBg | Haskell.Hatchet.TIMain |
| getIdKind | HasCASL.TypeAna |
| getIdPrec | HasCASL.MixAna |
| getIdRawKind | HasCASL.TypeAna |
| getInfixDecls | Haskell.Hatchet.MultiModuleBasics |
| getInput | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| getInsertedEdges | Proofs.Proofs |
| getKind | HasCASL.TypeAna |
| getKindEnv | Haskell.Hatchet.TIMonad |
| getKnowns | HasCASL.MixAna |
| getLIB_ID | Syntax.AS_Library |
| getLabelOfAnyInsertedEdge | Proofs.Proofs |
| getLabelOfEdge | Proofs.Proofs |
| getListBrackets | Common.Id |
| getLiteralType | Common.GlobalAnnotations |
| getModName | Haskell.Hatchet.TIMonad |
| getMyPos | Common.Id |
| getNamesFromEnv | Haskell.Hatchet.Env |
| getNodeDescriptors | GUI.ConvertDevToAbstractGraph |
| getNodeNameAndTypeAsString | GUI.AbstractGraphView |
| getNodesOfSubtree | GUI.ConvertDevToAbstractGraph |
| getNumber | Common.Lexer |
| getParserState | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| getPlainTokenList | Common.Id |
| getPosition | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| getProofBasis | Proofs.Proofs |
| getProofStatusOfThm | GUI.ConvertDevToAbstractGraph |
| getRLabel | Common.AS_Annotation |
| getRawKind | HasCASL.TypeAna |
| getReferencingATerms | Common.ATerm.AbstractSyntax, Common.ATerm.Lib |
| getResolved | Common.Earley |
| getS | Common.Keywords |
| getSelType | HasCASL.DataAna |
| getSigEnv | Haskell.Hatchet.TIMonad |
| getSignatureOfNode | GUI.ConvertDevToAbstractGraph |
| getSourceNode | Proofs.Proofs |
| getSrcLoc | Haskell.Hatchet.HsParseMonad |
| getState | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| getSublogicOfNode | GUI.ConvertDevToAbstractGraph |
| getSubst | Haskell.Hatchet.TIMonad |
| getThmType | GUI.ConvertDevToAbstractGraph |
| getTokenPlaceList | Common.Earley |
| getTopIndex | Common.ATerm.AbstractSyntax, Common.ATerm.Lib |
| getTyconsMembers | Haskell.Hatchet.MultiModuleBasics |
| getUnQualName | Haskell.Hatchet.Utils |
| getUninstOpId | HasCASL.OpDecl |
| getVMap | Haskell.Hatchet.Representation |
| get_dgn_name | Static.DevGraph |
| get_pos | Common.Id |
| get_pos_l | Common.Id |
| gets | Common.Lib.State |
| ginclusion | Logic.Grothendieck |
| givenS | Common.Keywords |
| globDecomp | Proofs.Proofs |
| globDecompAux | Proofs.Proofs |
| globDecompForOneEdge | Proofs.Proofs |
| globDecompForOneEdgeAux | Proofs.Proofs |
| globSubsume | Proofs.Proofs |
| globSubsumeAux | Proofs.Proofs |
| globalContextfromShATerm | ReadFn |
| globalContexttoShATerm | WriteFn |
| graphFromEdges | Haskell.Hatchet.Digraph |
| graphInfo | GUI.ConvertDevToAbstractGraph |
| groupArchSpec | Syntax.Parse_AS_Architecture |
| groupEquations | Haskell.Hatchet.Utils |
| groupUnitTerm | Syntax.Parse_AS_Architecture |
| groupUnitTerms | Syntax.Parse_AS_Architecture |
| gsigLeftUnion | Logic.Grothendieck |
| guess | Options |
| guessInType | Options |
| gui | Options |
