| GA | Common.GlobalAnnotations |
| ganame | CSL.Lemma_Export |
| Gather | Maude.AS_Maude |
| GaveUp | SoftFOL.MathServParsing |
| ga_cons_append | CommonLogic.PredefinedCASLAxioms |
| ga_disjoint_nil_cons | CommonLogic.PredefinedCASLAxioms |
| ga_generated_list | CommonLogic.PredefinedCASLAxioms |
| ga_injective_cons | CommonLogic.PredefinedCASLAxioms |
| ga_nil_append | CommonLogic.PredefinedCASLAxioms |
| gcdS | CSL.Keywords |
| GCI | CSL.AS_BASIC_CSL |
| GConjectured | Common.GtkGoal |
| GCR | CSL.AS_BASIC_CSL |
| GDiagram | Static.GTheory |
| GDisproved | Common.GtkGoal |
| GD_Atomic_Word | THF.As |
| GD_atomic_word | TPTP.AS |
| GD_Bind | THF.As |
| GD_bind | TPTP.AS |
| GD_Distinct_Object | THF.As |
| GD_distinct_object | TPTP.AS |
| GD_Formula_Data | THF.As |
| GD_formula_data | TPTP.AS |
| GD_General_Function | THF.As |
| GD_general_function | TPTP.AS |
| GD_Number | THF.As |
| GD_number | TPTP.AS |
| GD_Variable | THF.As |
| GD_variable | TPTP.AS |
| gelemDG | Static.DevGraph |
| gEmbed | Logic.Grothendieck |
| gEmbed2 | Logic.Grothendieck |
| gEmbedComorphism | Logic.Grothendieck |
| gEmbedGTC | Static.GTheory |
| gen | LF.Analysis |
| genAddMessage | CMDL.DataTypesUtils |
| GenAx | CASL.StaticAna |
| genCMDLPgipState | PGIP.XMLstate |
| GenCspCASL | |
| 1 (Type/Class) | CspCASL.Logic_CspCASL |
| 2 (Data Constructor) | CspCASL.Logic_CspCASL |
| GenData | |
| 1 (Type/Class) | SoftFOL.Sign, SoftFOL.ParseTPTP |
| 2 (Data Constructor) | SoftFOL.Sign, SoftFOL.ParseTPTP |
| genDelim | Common.Percent |
| GeneralBroadcaster | GUI.UDGUtils |
| GeneralData | THF.As |
| GeneralFunction | THF.As |
| GeneralisedParallel | CspCASL.AS_CspCASL_Process |
| generalizable | HasCASL.TypeAna |
| generalize | HasCASL.Unify |
| generalizeS | HasCASL.VarDecl |
| GeneralList | THF.As |
| generallyS | ExtModal.Keywords |
| GeneralTerm | THF.As |
| GeneralTerms | THF.As |
| General_data | TPTP.AS |
| General_function | |
| 1 (Type/Class) | TPTP.AS |
| 2 (Data Constructor) | TPTP.AS |
| General_list | TPTP.AS |
| General_term | TPTP.AS |
| General_terms | TPTP.AS |
| generateAxioms | |
| 1 (Function) | DFOL.Comorphism |
| 2 (Function) | Comorphisms.CASL2SubCFOL |
| 3 (Function) | Comorphisms.CASL2PCFOL |
| generateBNode | RDF.StaticAnalysis |
| Generated | |
| 1 (Data Constructor) | CASL.StaticAna |
| 2 (Data Constructor) | HasCASL.Le |
| 3 (Data Constructor) | OMDoc.DataTypes |
| 4 (Type/Class) | SoftFOL.Sign |
| 5 (Data Constructor) | SoftFOL.Sign |
| GeneratedAxiom | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| GeneratedAxiomId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| GeneratedAxiomKey | Persistence.Schema |
| GeneratedAxiomReasoningAttemptId | Persistence.Schema |
| generatedAxiomReasoningAttemptId | Persistence.Schema |
| GeneratedAxiomText | Persistence.Schema |
| generatedAxiomText | Persistence.Schema |
| generatedS | Common.Keywords |
| generatedSign | |
| 1 (Function) | CASL.SymbolMapAnalysis |
| 2 (Function) | HasCASL.SymbolMapAnalysis |
| 3 (Function) | OWL2.Morphism |
| generated_sign | Logic.Logic |
| generateFuncAxioms | DFOL.Comorphism |
| generateFuncAxiomsH | DFOL.Comorphism |
| generateInductionLemmas | CASL.Induction |
| generateKeyMap | CSMOF.Parser |
| generateLabelMap | OWL2.StaticAnalysis |
| generateNodeLab | Static.FromXml |
| generatePredAxioms | DFOL.Comorphism |
| generatePredAxiomsH | DFOL.Comorphism |
| generateProblem | TIP.Prover.Common |
| generatePrompter | CMDL.DataTypesUtils |
| generateSortAxioms | DFOL.Comorphism |
| generateSortAxiomsH1 | DFOL.Comorphism |
| generateSortAxiomsH2 | DFOL.Comorphism |
| generateSortAxiomsH3 | DFOL.Comorphism |
| generateSortAxiomsH4 | DFOL.Comorphism |
| generateSortAxiomsH4H | DFOL.Comorphism |
| generateVars | Comorphisms.CSMOF2CASL |
| Generator | GUI.HTkUtils |
| genericATPgui | |
| 1 (Function) | GUI.GtkGenericATP |
| 2 (Function) | GUI.GenericATP |
| genericCMDLautomaticBatch | Proofs.BatchProcessing |
| GenericConfig | |
| 1 (Type/Class) | Interfaces.GenericATPState |
| 2 (Data Constructor) | Interfaces.GenericATPState |
| GenericConfigsMap | Interfaces.GenericATPState |
| genericConfigToGStatus | Common.GtkGoal |
| genericDisambigSens | Common.ProofUtils |
| GenericGoalNameMap | Interfaces.GenericATPState |
| GENERICITY | Syntax.AS_Library |
| Genericity | Syntax.AS_Library |
| genericity | Static.DevGraph |
| genericProveBatch | Proofs.BatchProcessing |
| GenericState | |
| 1 (Type/Class) | Interfaces.GenericATPState |
| 2 (Data Constructor) | Interfaces.GenericATPState |
| GenericTransportType | HetsAPI.DataTypes |
| genErrorMsg | CMDL.DataTypesUtils |
| genErrorResponse | PGIP.XMLstate |
| GenExpr | Common.XPath |
| genFn | THF.Poly |
| GenFormData | SoftFOL.Sign, SoftFOL.ParseTPTP |
| genIdConstantMap | Comorphisms.HasCASL2THFP_P |
| GenItems | HasCASL.As |
| GenKind | |
| 1 (Type/Class) | CASL.StaticAna |
| 2 (Type/Class) | HasCASL.Le |
| genLemmaAsk | CSL.Lemma_Export |
| genLemmaFactor | CSL.Lemma_Export |
| genLemmaInt | CSL.Lemma_Export |
| genLemmaRemainder | CSL.Lemma_Export |
| genLemmaSimplify | CSL.Lemma_Export |
| genLemmaSolve | CSL.Lemma_Export |
| genList | SoftFOL.ParseTPTP |
| genMessage | CMDL.DataTypesUtils |
| genMsgAndCode | CMDL.DataTypesUtils |
| genName | Common.Id |
| genNamePrefix | Common.Id |
| genNormalResponse | PGIP.XMLstate |
| genNumVar | Common.Id |
| genpar_close | Common.Doc |
| genpar_closeS | Common.Keywords |
| genpar_open | Common.Doc |
| genpar_openS | Common.Keywords |
| genPgipElem | PGIP.XMLstate |
| genPgipID | PGIP.XMLstate |
| genPref | LF.Analysis |
| genPrimFormula | CASL.Formula |
| genProofStep | PGIP.XMLstate |
| genRes | THF.Sign |
| genSelVars | CASL.StaticAna |
| GenSig | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| genSig | LF.Sign |
| genSoftFOLProblem | SoftFOL.Conversions |
| genSortName | VSE.As |
| gEnsuresAmalgamability | Static.GTheory |
| GenTerm | |
| 1 (Type/Class) | SoftFOL.Sign, SoftFOL.ParseTPTP |
| 2 (Data Constructor) | SoftFOL.Sign, SoftFOL.ParseTPTP |
| genTerm | SoftFOL.ParseTPTP |
| GenTermList | SoftFOL.Sign, SoftFOL.ParseTPTP |
| genTHFFormula | THF.HasCASL2THF0Buildins |
| genToken | Common.Id |
| genTuple | Comorphisms.HasCASL2THFP_P |
| genTypeArgs | HasCASL.Unify |
| GenTypeVarDecl | HasCASL.As |
| GenVarDecl | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| genVarDecls | HasCASL.ParseTerm |
| GenVarItems | HasCASL.As |
| genVarList | SoftFOL.Conversions |
| genVars | VSE.As |
| gen_ax | LF.Analysis |
| gen_base | LF.Sign |
| gen_file | LF.Analysis |
| gen_module | LF.Sign |
| gen_morph | LF.Morphism |
| gen_sig1 | LF.Analysis |
| gen_sig2 | LF.Analysis |
| geo3 | TPTP.Prover.Geo3 |
| Geometry | GUI.HTkUtils |
| geometry | GUI.HTkUtils |
| GEQ | CSMOF.Sign |
| geqS | CSL.Keywords |
| GeR | SoftFOL.Sign |
| gErr | TopHybrid.Utilities |
| get | |
| 1 (Function) | Common.Lib.State |
| 2 (Function) | GUI.Glade.GenericATP |
| 3 (Function) | GUI.Glade.NodeChecker |
| 4 (Function) | GUI.Glade.ProverGUI |
| 5 (Function) | GUI.Glade.TextField |
| 6 (Function) | GUI.Glade.Utils |
| get3dLine | FreeCAD.Brep |
| getActivatedElem | GUI.HTkUtils |
| getActiveBackground | GUI.HTkUtils |
| getActiveForeground | GUI.HTkUtils |
| getAlign | GUI.HTkUtils |
| getAllAxioms | HetsAPI.InfoCommands, HetsAPI.Commands |
| getAllConsCheckers | Proofs.AbstractState |
| getAllEdges | Interfaces.Utils |
| getAllGlobPathsBetween | Proofs.EdgeUtils |
| getAllGoals | HetsAPI.InfoCommands, HetsAPI.Commands |
| getAllLocGlobPathsBetween | Proofs.EdgeUtils |
| getAllNodes | Interfaces.Utils |
| getAllOpenNodeGoals | Proofs.EdgeUtils |
| getAllPathsOfType | Proofs.EdgeUtils |
| getAllPathsOfTypeBetween | Proofs.EdgeUtils |
| getAllPathsOfTypeFrom | Proofs.EdgeUtils |
| getAllPathsOfTypeFromGoalList | Proofs.EdgeUtils |
| getAllPathsTo | Common.Lib.Graph |
| getAllProvers | Proofs.AbstractState |
| getAllQueued | GUI.HTkUtils |
| getAllSentences | HetsAPI.InfoCommands, HetsAPI.Commands |
| getAllSpec | Maude.Shellout |
| getAllTypes | HasCASL.FoldTerm |
| getAltSubsorts | CASL.StaticAna |
| getAnchor | GUI.HTkUtils |
| getAnnoName | Common.AS_Annotation |
| getAnnos | Common.AnnoState |
| getAnnosFromDeclarationAxioms | OWL2.PrintMS |
| getAppl | HasCASL.AsUtils |
| getArcValue | GUI.UDGUtils |
| getArcValuePrim | GUI.UDGUtils |
| getArgFlags | PGIP.Query |
| getArgumentNames | DFOL.Sign |
| getArguments | CSL.ASUtils |
| getArgumentTypes | DFOL.Sign |
| getArrowshape | GUI.HTkUtils |
| getArrowstyle | GUI.HTkUtils |
| getAspect | GUI.HTkUtils |
| getAspectRatio | GUI.HTkUtils |
| getAssumpsToks | Comorphisms.CFOL2IsabelleHOL |
| getAToB | Common.InjMap |
| getAtoms | CSL.Tools |
| getAttrVal | Common.XUpdate |
| getAttrValue | TIP.Utils |
| getAttrValues | TIP.Utils |
| getAvailableComorphisms | HetsAPI.ProveCommands, HetsAPI.Commands |
| getAxioms | |
| 1 (Function) | Isabelle.IsaPrint |
| 2 (Function) | CSL.ReduceProve |
| 3 (Function) | OWL2.MS |
| 4 (Function) | SoftFOL.ProverState |
| 5 (Function) | THF.ProverState |
| 6 (Function) | TPTP.Prover.ProverState |
| 7 (Function) | Proofs.AbstractState |
| getBackground | GUI.HTkUtils |
| getBaseAttr | LF.Twelf2GR |
| getBaseIds | CASL.MixfixParser |
| getBaseIndex | GUI.HTkUtils |
| getBgstipple | GUI.HTkUtils |
| getBigIncrement | GUI.HTkUtils |
| getBindInfoMap | CSL.AS_BASIC_CSL |
| getBinPredsById | CspCASL.StatAnaCSP |
| getBitMap | GUI.HTkUtils |
| getBitMapHandle | GUI.HTkUtils |
| getBMN | LF.Twelf2GR |
| getBorderwidth | GUI.HTkUtils |
| getBrackets | HasCASL.As |
| getBranchSigNodes | Static.DevGraph |
| getBrep | FreeCAD.Brep |
| getBrepObject | FreeCAD.Brep |
| getBSAtoms | CSL.Tools |
| getBStContextNodes | Static.DevGraph |
| getBToA | Common.InjMap |
| getCanvAnchor | GUI.HTkUtils |
| getCapstyle | GUI.HTkUtils |
| getCASLSymbols | CspCASL.Symbol |
| getCcBatch | Proofs.AbstractState |
| getCcName | Proofs.AbstractState |
| getCFreeDefLinks | Proofs.FreeDefLinks |
| getCFreeDefMorphs | Proofs.FreeDefLinks |
| getChecksum | Common.FileType |
| getClass | |
| 1 (Function) | CSMOF.As |
| 2 (Function) | OWL2.Medusa |
| getClassGraph | Taxonomy.MMiSSOntology |
| getClassName | GUI.HTkUtils |
| getCloseEnough | GUI.HTkUtils |
| getCmdAtoms | CSL.Tools |
| getCoCompType | CoCASL.StatAna |
| getCoConsType | CoCASL.StatAna |
| getCoDataGenSig | CoCASL.StatAna |
| getCoGenSig | CoCASL.StatAna |
| getColor | GUI.GraphTypes |
| getColour | GUI.HTkUtils |
| getCommands | CMDL.Commands |
| getCommonSupers | OWL2.CASL2OWL |
| getCommonSupertype | HasCASL.MinType |
| getCompoundLists | HasCASL.Le |
| getComps | Common.Id |
| getCompType | CASL.StaticAna |
| getConfig | Interfaces.GenericATPState |
| getConfine | GUI.HTkUtils |
| getConj | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| getConnection | Persistence.DatabaseConnection |
| getCons | |
| 1 (Function) | Static.DevGraph |
| 2 (Function) | Comorphisms.HasCASL2IsabelleHOL |
| getConsCheckers | Proofs.AbstractState |
| getConservativity | Static.DevGraph |
| getConservativityOfPath | Static.DevGraph |
| getConsistencyOf | Proofs.ConsistencyCheck |
| getConsOfStatus | Static.DgUtils |
| getConstants | LF.Sign |
| getConstIsaToks | Isabelle.Translate |
| getConstrScheme | HasCASL.DataAna |
| getConstructors | CASL.Sign |
| getConsType | CASL.StaticAna |
| getContent | Driver.ReadFn |
| getContentAndFileType | Driver.ReadFn |
| getCoord | GUI.HTkUtils |
| getCoSubsorts | CoCASL.StatAna |
| getCoVarKind | HasCASL.TypeAna |
| getCurrentGrab | GUI.HTkUtils |
| getCurrentMarks | GUI.HTkUtils |
| getCurrentSublogic | CMDL.DataTypesUtils |
| getCursor | GUI.HTkUtils |
| getCycles | Common.Lib.Rel |
| getD | Common.SAX |
| getData | FreeCAD.Brep |
| getData2 | FreeCAD.Brep |
| getDataGenSig | CASL.StaticAna |
| getDataType | CSMOF.As |
| getDatatypeCat | OWL2.AS |
| getDatatypeIds | HasCASL.Morphism |
| getDaVinciGraphContext | GUI.UDGUtils |
| getDeclaredChanSort | CspCASL.StatAnaCSP |
| getDeclaredSyms | LF.Sign |
| getDeclSpecNames | Syntax.AS_Library |
| getDefinedSyms | LF.Sign |
| getDefiniens | CSL.ASUtils |
| getDefs | LF.Sign |
| getDGEdgeTypeModIncName | Static.DgUtils |
| getDGEdgeTypeName | Static.DgUtils |
| getDGLinkLab | Static.CheckGlobalContext |
| getDGLinksById | Static.DevGraph |
| getDGLinkType | Static.DevGraph |
| getDGLogic | Static.DGTranslation |
| getDGNodeLab | Static.CheckGlobalContext |
| getDGNodeName | Static.DevGraph |
| getDigits | GUI.HTkUtils |
| getDisabledForeground | GUI.HTkUtils |
| getDisj | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| getDomainType | QVTR.StatAna |
| getDR | OWL2.AS |
| getED | OWL2.AS |
| getEdgeConsStatus | Static.DevGraph |
| getEdgeId | Proofs.EdgeUtils |
| getEdgeNum | Static.DgUtils |
| getEdgesFromDevelopmentGraph | HetsAPI.InfoCommands |
| getEFormPredToks | ExtModal.StatAna |
| getEntityTypeMap | OWL2.ColimSign |
| getEnv | LF.Twelf2GR |
| getEnvDef | Common.Utils |
| getEnvSave | Common.Utils |
| getEnvVar | LF.Twelf2GR |
| getEORef | FreeCAD.XMLPrinter |
| getEPVarRef | CSL.AS_BASIC_CSL |
| getErrors | Maude.Shellout |
| getExitCode | CMDL.DataTypesUtils |
| getExitCodeInt | CMDL.DataTypesUtils |
| getExtContent | Driver.ReadFn |
| getExtensions | Driver.Options |
| getExtent | GUI.HTkUtils |
| getExtGenSigNodes | Static.DevGraph |
| getExtIds | CASL.MixfixParser |
| getExtViewSigNodes | Static.DevGraph |
| getFgstipple | GUI.HTkUtils |
| getFiatBoundaryFacts | OWL2.Medusa |
| getFiatBoundaryFactsAux | OWL2.Medusa |
| getFileName | GUI.HTkUtils |
| getFileNames | Driver.Options |
| getFilePath | Common.LibName |
| getFilePathMapping | OMDoc.Export |
| getFilePrefix | Driver.WriteLibDefn |
| getFilePrefixGeneric | Driver.WriteLibDefn |
| getFileVersion | Persistence.FileVersion |
| getFilling | GUI.HTkUtils |
| getFloatVal | FreeCAD.Translator |
| getFocus | GUI.HTkUtils |
| getFocusModel | GUI.HTkUtils |
| getFont | GUI.HTkUtils |
| getForeground | GUI.HTkUtils |
| getFormPredToks | ExtModal.StatAna |
| getFormulaName | TIP.Utils |
| getFormulaRole | Comorphisms.HasCASL2THFP_P |
| getFragment | PGIP.Query |
| getFragOfCode | PGIP.Query |
| getFreeDefMorphism | Proofs.FreeDefLinks |
| getFreeVars | |
| 1 (Function) | DFOL.AS_DFOL |
| 2 (Function) | LF.Sign |
| getFreshTempDir | FreeCAD.Translator |
| getFromAttr | LF.Twelf2GR |
| getFunKinds | HasCASL.ClassAna |
| getFunType | HasCASL.AsUtils |
| getGenPolyTokenList | Common.Prec |
| getGenSig | CASL.StaticAna |
| getGenSigNodes | Static.DevGraph |
| getGenSorts | CASL.StaticAna |
| getGeometry | GUI.HTkUtils |
| getGlobalAnnos | Common.AnalyseAnnos |
| getGlobalDefs | LF.Sign |
| getGlobalSyms | LF.Sign |
| getGlobalTheory | Static.ComputeTheory |
| getGlobEntryNodes | Static.DevGraph |
| getGlobNodes | Static.DevGraph |
| getGMorphism | Static.FromXmlUtils |
| getGoals | Proofs.AbstractState |
| getGrabStatus | GUI.HTkUtils |
| getGraphForLibrary | HetsAPI.InfoCommands, HetsAPI.Commands, HetsAPI |
| getGraphid | Taxonomy.AbstractGraphView |
| getGrid | GUI.HTkUtils |
| getGTKBuilder | GUI.GtkUtils |
| getHeight | GUI.HTkUtils |
| getHetsTime | Common.Timing |
| getHomEdgeType | Static.DevGraph |
| getHTk | GUI.HTkUtils |
| getIconMask | GUI.HTkUtils |
| getIdComorphism | CMDL.DataTypesUtils |
| getIdKind | HasCASL.TypeAna |
| getIdOrName | PGIP.Query |
| getIdPrec | Common.Prec |
| getIdsForPresentation | OMDoc.OMDocInterface |
| getImportNames | |
| 1 (Function) | Syntax.AS_Library |
| 2 (Function) | Static.ComputeTheory |
| getInclMorph | LF.Twelf2GR |
| getInComingGlobalUnprovenEdges | Proofs.SimpleTheoremHideShift |
| getIncrement | GUI.HTkUtils |
| getIndexPosition | GUI.HTkUtils |
| getInitialLN | OMDoc.Export |
| getInputDGNodes | CMDL.DataTypesUtils |
| getInputNodes | CMDL.DataTypesUtils |
| getInterval | GUI.HTkUtils |
| getIntervalFrom | GUI.HTkUtils |
| getIntervalTo | GUI.HTkUtils |
| getIri | |
| 1 (Function) | OWL2.Function |
| 2 (Function) | OMDoc.Import |
| getJoinstyle | GUI.HTkUtils |
| getJustify | GUI.HTkUtils |
| getKindAppl | HasCASL.TypeRel |
| getLabels | Maude.Meta.HasLabels, Maude.Meta |
| getLabelSide | GUI.HTkUtils |
| getLastChange | Static.History |
| getLEdges | Common.Lib.Graph |
| getLEdgesFromDevelopmentGraph | HetsAPI.InfoCommands |
| getLeftApp | Maude.PreComorphism |
| getLeftAppTerm | Maude.PreComorphism |
| getLibDepRel | Static.DevGraph |
| getLibEnv | OMDoc.Import |
| getLibId | Common.LibName |
| getLinkConsStatus | Static.DevGraph |
| getLinksTo | Proofs.VSE |
| getLinkVal | FreeCAD.Translator |
| getListBrackets | Common.Id |
| getListOfConsCheckers | Proofs.AbstractState |
| getLiteralType | Common.GlobalAnnotations |
| getLits | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| getLmargin1 | GUI.HTkUtils |
| getLmargin2 | GUI.HTkUtils |
| getLNodesFromDevelopmentGraph | HetsAPI.InfoCommands, HetsAPI.Commands, HetsAPI |
| getLocalDefs | LF.Sign |
| getLocalSyms | LF.Sign |
| getLogic | |
| 1 (Function) | Static.DevGraph |
| 2 (Function) | TopHybrid.Logic_TopHybrid |
| getLogicFromMeta | OMDoc.Import |
| getLongLine | CMDL.Interface |
| getM | Common.SAX |
| getMagicFileType | Common.FileType |
| getMap | LF.Analysis |
| getMapAndMaxIndex | Static.DgUtils |
| getMaxSize | GUI.HTkUtils |
| getMaybeLib | Interfaces.DataTypes |
| getMaybeNodes | Static.DevGraph |
| getMaybeSig | Static.DevGraph |
| getMeetsFacts | OWL2.Medusa |
| getMeetsFactsAux | OWL2.Medusa |
| getMessage | THF.SZSProver |
| getMinAssumps | HasCASL.TypeAna |
| getMinSize | GUI.HTkUtils |
| getModelKey | CSMOF.Parser |
| getModTermSort | Modal.Utils |
| getModule | OMDoc.Import |
| getModuleAttr | LF.Twelf2GR |
| getMorphism | Static.FromXmlUtils |
| getMultiLineT | CMDL.Interface |
| getMultipleNodes | GUI.UDGUtils |
| getMultipleNodesPrim | GUI.UDGUtils |
| getName | |
| 1 (Function) | Common.Item |
| 2 (Function) | CASL.Kif2CASL |
| 3 (Function) | FreeCAD.Translator |
| 4 (Function) | Maude.Meta.HasName, Maude.Meta |
| 5 (Function) | Static.DgUtils |
| 6 (Function) | Comorphisms.HasCASL2IsabelleHOL |
| getNameAttr | |
| 1 (Function) | Common.XUpdate |
| 2 (Function) | LF.Twelf2GR |
| getNameOfNode | Static.DevGraph |
| getNames | OWL2.StaticAnalysis |
| getNamesFromAnnos | OWL2.StaticAnalysis |
| getNewEdgeId | Static.DevGraph |
| getNewName | DFOL.AS_DFOL |
| getNewNode | Common.Lib.Graph |
| getNewNodeDG | Static.DevGraph |
| getNextResultOutput | CSL.Reduce_Interface |
| getNNInt | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| getNOChildren | FreeCAD.XMLPrinter |
| getNode | Static.DevGraph |
| getNodeCons | Static.DevGraph |
| getNodeConservativity | Static.DevGraph |
| getNodeConsStatus | Static.DevGraph |
| getNodeData | OMDoc.Export |
| getNodeLogic | Static.DevGraph |
| getNodesFromDevelopmentGraph | HetsAPI.InfoCommands, HetsAPI.Commands, HetsAPI |
| getNodeValue | GUI.UDGUtils |
| getNodeValuePrim | GUI.UDGUtils |
| getNumber | Common.Lexer |
| getObject | FreeCAD.Translator |
| getObjectTemplates | QVTR.StatAna |
| getObjectTemplatesFromOT | QVTR.StatAna |
| getOclExpre | QVTR.StatAna |
| getOffset | GUI.HTkUtils |
| getOINM | CSL.Print_AS |
| getOMBWords | OMDoc.OMDocInterface |
| getOms | Syntax.AS_Library |
| getOntologyName | Taxonomy.MMiSSOntology |
| getOp | CASL.CompositionTable.ModelFormula |
| getOpInfoMap | CSL.AS_BASIC_CSL |
| getOpInfoNameMap | CSL.AS_BASIC_CSL |
| getOpName | |
| 1 (Function) | CASL.Kif2CASL |
| 2 (Function) | CSL.Parse_AS_Basic |
| getOppositeType | QVTR.StatAna |
| getOps | |
| 1 (Function) | CASL.StaticAna |
| 2 (Function) | Maude.Meta.HasOps, Maude.Meta |
| 3 (Function) | HolLight.HolLight2DG |
| getOrient | GUI.HTkUtils |
| getOT | QVTR.StatAna |
| getOutline | GUI.HTkUtils |
| getOutlineWidth | GUI.HTkUtils |
| getOverstrike | GUI.HTkUtils |
| getPartiality | HasCASL.Morphism |
| getPaths | |
| 1 (Function) | Common.Lib.Graph |
| 2 (Function) | Common.XPath |
| getPathsTo | Common.Lib.Graph |
| getPhoto | GUI.HTkUtils |
| getPlacementVals | FreeCAD.Translator |
| getPlainPolyTokenList | Common.Earley |
| getPlainTokenList | Common.Id |
| getPointerFromRef | Static.DevGraph |
| getPolyIds | HasCASL.MixAna |
| getPolyTokenList | Common.Earley |
| getPos | Common.Lexer |
| getPosition | GUI.HTkUtils |
| getPositionFrom | GUI.HTkUtils |
| getPosList | Common.Id |
| getPrec | HolLight.Helper |
| getPredefName | OWL2.AS |
| getPrefixMap | OWL2.ColimSign |
| getPremisesImplication | Maude.PreComorphism |
| getPrimitiveDomainType | QVTR.StatAna |
| getPriority | Common.AS_Annotation |
| getProofBasis | Static.DevGraph |
| getPropNames | OWL2.CASL2OWL |
| getPropSens | OWL2.CASL2OWL |
| getProvenGoals | HetsAPI.InfoCommands, HetsAPI.Commands |
| getProverName | Proofs.AbstractState |
| getQuantifiedVars | QBF.Tools |
| getQuantVarName | CommonLogic.Print_KIF |
| getQuantVars | CASL.Quantification |
| GetRange | Common.Id |
| getRange | Common.Id |
| getRangeSpan | Common.Id |
| getRawKind | HasCASL.TypeRel |
| getRealDGLinkType | Static.DevGraph |
| getRealDGNodeType | Static.DevGraph |
| getRecentFocus | GUI.HTkUtils |
| getRectangle | FreeCAD.Brep |
| getRefseqNb | PGIP.XMLstate |
| getRefSigNodes | Static.DevGraph |
| getRelationGraph | Taxonomy.MMiSSOntology |
| getRelationNames | Taxonomy.MMiSSOntology |
| getRelief | GUI.HTkUtils |
| getRels | RelationalScheme.AS |
| getRepeatDelay | GUI.HTkUtils |
| getRepeatInterval | GUI.HTkUtils |
| getResolved | Common.Earley |
| getReturnType | DFOL.Sign |
| getRLabel | Common.AS_Annotation |
| getRmargin | GUI.HTkUtils |
| getRole | CSMOF.Sign |
| getS | Common.Keywords |
| gets | Common.Lib.State |
| getScreen | GUI.HTkUtils |
| getScreenHeight | GUI.HTkUtils |
| getScreenManager | GUI.HTkUtils |
| getScreenVisual | GUI.HTkUtils |
| getScreenWidth | GUI.HTkUtils |
| getScrollBars | GUI.HTkUtils |
| getScrolledWidget | GUI.HTkUtils |
| getScrollRegion | GUI.HTkUtils |
| getSD | OWL2.AS |
| getSelectAttr | Common.XUpdate |
| getSelectedDGNodes | CMDL.DataTypesUtils |
| getSelectedMultiple | GUI.GtkUtils |
| getSelectedSingle | GUI.GtkUtils |
| getSelection | GUI.HTkUtils |
| getSelectionEnd | GUI.HTkUtils |
| getSelectionRange | GUI.HTkUtils |
| getSelectionStart | GUI.HTkUtils |
| getSelectMode | GUI.HTkUtils |
| getSelScheme | HasCASL.DataAna |
| getSelType | HasCASL.AsUtils |
| getSenItems | LF.Analysis |
| getSens | LF.Analysis |
| getShowText | GUI.HTkUtils |
| getShowValue | GUI.HTkUtils |
| getSig | Static.DevGraph |
| getSigForXNode | Static.FromXml |
| getSigFromDiag | Static.ArchDiagram |
| getSigFromLibs | LF.Analysis |
| getSigIds | CASL.MixfixParser |
| getSigItems | LF.Analysis |
| getSigMapNodes | Static.DevGraph |
| getSignature | RelationalScheme.AS |
| getSignedNumber | Common.Lexer |
| getSimpleIdPrec | Common.Prec |
| getSize | GUI.HTkUtils |
| getSizeFrom | GUI.HTkUtils |
| getSmooth | GUI.HTkUtils |
| getSomething | QVTR.StatAna |
| getSorts | Maude.Meta.HasSorts, Maude.Meta |
| getSpaceAbove | GUI.HTkUtils |
| getSpaceBelow | GUI.HTkUtils |
| getSpaceWrap | GUI.HTkUtils |
| getSpecAnnos | Static.AnalysisStructured |
| getSpecDef | Syntax.AS_Library |
| getSpecNames | Syntax.AS_Structured |
| getSpecs | Syntax.AS_Structured |
| getSplinesteps | GUI.HTkUtils |
| getSSN | OMDoc.Export |
| getStart | GUI.HTkUtils |
| getState | GUI.HTkUtils |
| getStipple | GUI.HTkUtils |
| getStretch | GUI.HTkUtils |
| getSubGraph | Proofs.VSE |
| getSubst | CASL.CCC.TermFormula |
| getSubstForm | CASL.CCC.TermFormula |
| getSuperTypesNames | CSMOF.Parser |
| getSwitches | PGIP.Query |
| getSym | LF.Sign |
| getSymbolArity | DFOL.Sign |
| getSymbolKind | DFOL.Sign |
| getSymbolMap | |
| 1 (Function) | CSL.Symbol |
| 2 (Function) | CommonLogic.Symbol |
| 3 (Function) | NeSyPatterns.Symbol |
| 4 (Function) | Propositional.Symbol |
| 5 (Function) | QBF.Symbol |
| 6 (Function) | Temporal.Symbol |
| getSymbolName | |
| 1 (Function) | CSL.Symbol |
| 2 (Function) | CommonLogic.Symbol |
| 3 (Function) | NeSyPatterns.Symbol |
| 4 (Function) | Propositional.Symbol |
| 5 (Function) | QBF.Symbol |
| 6 (Function) | Temporal.Symbol |
| getSymbols | |
| 1 (Function) | DFOL.Sign |
| 2 (Function) | LF.Sign |
| 3 (Function) | THF.Poly |
| getSymbolsByKind | DFOL.Sign |
| getSymbolType | DFOL.Sign |
| getSymsOfType | |
| 1 (Function) | DFOL.Sign |
| 2 (Function) | LF.Sign |
| getSymType | LF.Sign |
| getSymValue | LF.Sign |
| getSyntaxTable | CASL.Sign |
| getTabs | GUI.HTkUtils |
| getTakeFocus | GUI.HTkUtils |
| getTargetType | QVTR.StatAna |
| getTempFifo | Common.Utils |
| getTempFile | Common.Utils |
| getTermType | |
| 1 (Function) | DFOL.Sign |
| 2 (Function) | Maude.AS_Maude |
| getText | |
| 1 (Function) | Common.Item |
| 2 (Function) | Common.XUpdate |
| 3 (Function) | CommonLogic.AS_CommonLogic |
| 4 (Function) | GUI.HTkUtils |
| getTextLine | GUI.HTkUtils |
| getTextRange | GUI.HTkUtils |
| getTh | CMDL.DataTypesUtils |
| getThAxioms | Static.GTheory |
| getTheoryOfNode | GUI.GraphLogic |
| getThGoals | Static.GTheory |
| getThmStatus | Logic.Prover |
| getThSens | Static.GTheory |
| getTimeLimit | TPTP.Prover.Common |
| getTimeUsed | THF.SZSProver |
| getToAttr | LF.Twelf2GR |
| getTokenList | Common.Id |
| getTokenPlaceList | Common.Earley |
| getTokens | Common.Id |
| getTop | Maude.PreComorphism |
| getTopsortedLibs | Static.DevGraph |
| getTopVars | CASL.Quantification |
| getTupleAp | HasCASL.ProgEq |
| getTupleArgs | HasCASL.AsUtils |
| getType | |
| 1 (Function) | CSMOF.As |
| 2 (Function) | CSMOF.Sign |
| 3 (Function) | LF.Sign |
| 4 (Function) | Maude.PreComorphism |
| 5 (Function) | QVTR.StatAna |
| getTypeAndMorAux | Static.FromXml |
| getTypeAndMorphism | Static.FromXml |
| getTypeAndMorphism1 | Static.FromXml |
| getTypeAppl | HasCASL.AsUtils |
| getTypeApplAux | HasCASL.AsUtils |
| getTypeC | THF.Poly |
| getTypeCBF | THF.Poly |
| getTypeCLF | THF.Poly |
| getTypeCUF | THF.Poly |
| getTypeElement | CSMOF.As |
| getTypeIds | Isabelle.IsaConsts |
| getTypeName | Comorphisms.HasCASL2IsabelleHOL |
| getTypeOf | HasCASL.Unify |
| getTypes | |
| 1 (Function) | Maude.PreComorphism |
| 2 (Function) | HolLight.HolLight2DG |
| getTypesFromVars | QVTR.StatAna |
| getTypeVar | HasCASL.AsUtils |
| getTypeVars | HasCASL.VarDecl |
| getUnaryOpsById | CspCASL.StatAnaCSP |
| getUnderline | GUI.HTkUtils |
| getUnderlined | GUI.HTkUtils |
| getUniqueProfileInProcNameMap | CspCASL.SignCSP |
| getUnitSigFromRef | Static.DevGraph |
| getUnitSigNodes | Static.DevGraph |
| getUnknownSyms | LF.Analysis |
| getUnprovenGoals | HetsAPI.InfoCommands, HetsAPI.Commands |
| getUsableConsistencyCheckers | HetsAPI.ProveCommands, HetsAPI.Commands |
| getUsableProvers | |
| 1 (Function) | Proofs.AbstractState |
| 2 (Function) | HetsAPI.ProveCommands, HetsAPI.Commands, HetsAPI |
| getVal | FreeCAD.Translator |
| getValidAxioms | Static.GTheory |
| getValue | |
| 1 (Function) | LF.Sign |
| 2 (Function) | GUI.HTkUtils |
| getVar | HasCASL.Le |
| getVarFromTemplate | QVTR.StatAna |
| getVariablesFromAtom | OWL2.AS |
| getVariablesFromDArg | OWL2.AS |
| getVariablesFromIArg | OWL2.AS |
| getVars | |
| 1 (Function) | CASL.CompositionTable.ModelFormula |
| 2 (Function) | DFOL.Sign |
| 3 (Function) | Maude.PreComorphism |
| 4 (Function) | QBF.Tools |
| getVarsFromDecls | DFOL.AS_DFOL |
| getVarsTerm | Maude.PreComorphism |
| getVarType | DFOL.Sign |
| getVarTypeFromDecls | DFOL.AS_DFOL |
| getViewMorph | LF.Twelf2GR |
| getWidth | GUI.HTkUtils |
| getWindowState | GUI.HTkUtils |
| getWraplength | GUI.HTkUtils |
| getWrapMode | GUI.HTkUtils |
| getXUpdateText | Common.XUpdate |
| gfail | Common.LogicT |
| GFreeDefMorphism | |
| 1 (Type/Class) | Proofs.FreeDefLinks |
| 2 (Data Constructor) | Proofs.FreeDefLinks |
| GF_General_Function | THF.As |
| GGuessed | Common.GtkGoal |
| GHandwritten | Common.GtkGoal |
| GHorn | |
| 1 (Data Constructor) | CASL.Sublogic |
| 2 (Data Constructor) | HasCASL.Sublogic |
| GIF | GUI.HTkUtils |
| ginclusion | Logic.Grothendieck |
| GInconsistent | Common.GtkGoal |
| GInfo | |
| 1 (Type/Class) | GUI.GraphTypes |
| 2 (Data Constructor) | GUI.GraphTypes |
| givenS | Common.Keywords |
| GlAutoProve | PGIP.Query |
| GlAutoProveREST | PGIP.Query |
| GlConsistency | PGIP.Shared |
| Global | |
| 1 (Data Constructor) | Static.DgUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| GlobalAnnos | Common.GlobalAnnotations |
| globalAnnos | Static.DevGraph |
| globalConsDef | Static.DevGraph |
| globalConsThm | Static.DevGraph |
| globalDecomposition | HetsAPI.Commands, HetsAPI |
| GlobalDef | |
| 1 (Data Constructor) | Persistence.Schema.MappingType |
| 2 (Data Constructor) | Static.DgUtils |
| globalDef | Static.DevGraph |
| GlobalDomain | Syntax.AS_Library |
| GlobalEntry | Static.DevGraph |
| GlobalEnv | Static.DevGraph |
| globalEnv | Static.DevGraph |
| globalLock | GUI.GraphTypes |
| GlobalMenu | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | GUI.UDGUtils |
| globalNodeTheory | Static.ComputeTheory |
| GlobalOrLocalThm | Static.DgUtils |
| GlobalParameter | CspCASLProver.TransProcesses |
| globalSubsume | HetsAPI.Commands, HetsAPI |
| globalTheory | Static.DevGraph |
| globalThm | Static.DevGraph |
| GlobalThmOpen | Persistence.Schema.MappingType |
| GlobalThmProved | Persistence.Schema.MappingType |
| globAnnos | |
| 1 (Function) | CASL.Sign |
| 2 (Function) | HasCASL.Le |
| 3 (Function) | Static.XGraph |
| GlobCmd | |
| 1 (Data Constructor) | Interfaces.Command |
| 2 (Type/Class) | Interfaces.Command |
| globCmdList | Interfaces.Command |
| globCmdNameStr | Interfaces.Command |
| GlobCmdQuery | PGIP.Query |
| GlobDecomp | Interfaces.Command |
| globDecomp | Proofs.Global |
| globDecompAux | Proofs.Global |
| globDecompFromList | Proofs.Global |
| globDefLink | Static.DevGraph |
| globLibAct | Interfaces.CmdAction |
| globLibResultAct | Interfaces.CmdAction |
| globOrLocTh | Static.DevGraph |
| globResultAct | Interfaces.CmdAction |
| GlobSubsume | Interfaces.Command |
| globSubsume | Proofs.Global |
| globSubsumeFromList | Proofs.Global |
| GlProofs | PGIP.Shared |
| GlProvers | PGIP.Query |
| GlShowProverWindow | PGIP.Query |
| GlTranslations | PGIP.Query |
| glue | CspCASL.Print_CspCASL |
| gmorph | Static.ToJson |
| GMorphism | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| gMorphism | Logic.Grothendieck |
| gMorphismComor | Logic.Grothendieck |
| gMorphismLogic | Logic.Grothendieck |
| gMorphismMor | Logic.Grothendieck |
| gMorphismMorIdx | Logic.Grothendieck |
| gMorphismSelfIdx | Logic.Grothendieck |
| gMorphismSign | Logic.Grothendieck |
| gMorphismSignIdx | Logic.Grothendieck |
| gName | Common.GtkGoal |
| gnEqName | VSE.As |
| gnRestrName | VSE.As |
| gnUniformName | VSE.As |
| gnuTimeout | TPTP.Prover.Common |
| Goal | |
| 1 (Data Constructor) | Interfaces.Command |
| 2 (Type/Class) | Common.GtkGoal |
| 3 (Data Constructor) | Common.GtkGoal |
| GoalConfig | |
| 1 (Type/Class) | PGIP.ReasoningParameters |
| 2 (Data Constructor) | PGIP.ReasoningParameters |
| goalDescription | GUI.HTkUtils |
| goalDIMACSProblem | Propositional.Conversions |
| goalName | Logic.Prover |
| goalOutput | Interfaces.GenericATPState |
| goalProcessed | Proofs.BatchProcessing |
| goals | |
| 1 (Function) | Common.AutoProofUtils |
| 2 (Function) | PGIP.ReasoningParameters |
| GoalsChange | Interfaces.DataTypes |
| goalsF | Isabelle.IsaParse |
| goalsList | Interfaces.GenericATPState |
| GoalStatus | Logic.Prover |
| goalStatus | Logic.Prover |
| goalsToPrefix | Common.AutoProofUtils |
| gobbler | GUI.HTkUtils |
| GOpen | Common.GtkGoal |
| goS | CSL.Keywords |
| gotoS | CSL.Keywords |
| GProved | Common.GtkGoal |
| Gr | |
| 1 (Type/Class) | Common.Lib.Graph |
| 2 (Data Constructor) | Common.Lib.Graph |
| grabGlobal | GUI.HTkUtils |
| grabLocal | GUI.HTkUtils |
| GrabStatus | GUI.HTkUtils |
| GRAPH | LF.Twelf2GR |
| Graph | |
| 1 (Type/Class) | Common.GraphAlgo |
| 2 (Data Constructor) | Common.GraphAlgo |
| 3 (Type/Class) | GUI.UDGUtils |
| 4 (Data Constructor) | GUI.UDGUtils |
| 5 (Type/Class) | OWL2.Sublogic |
| GraphAll | GUI.UDGUtils |
| GraphAllConfig | GUI.UDGUtils |
| GraphClass | GUI.UDGUtils |
| GraphConfig | GUI.UDGUtils |
| graphFromProofObject | TPTP.Prover.ProofParser |
| GraphGesture | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | GUI.UDGUtils |
| GraphInfo | |
| 1 (Type/Class) | Taxonomy.AbstractGraphView |
| 2 (Type/Class) | GUI.GraphAbstraction |
| graphInfo | GUI.GraphTypes |
| GraphOut | Driver.Options |
| GraphParms | GUI.UDGUtils |
| GraphTitle | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | GUI.UDGUtils |
| GraphType | Driver.Options |
| Gravity | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| gray25 | GUI.HTkUtils |
| gray50 | GUI.HTkUtils |
| GrayScale | GUI.HTkUtils |
| GrayScaleMode | GUI.HTkUtils |
| GrContext | |
| 1 (Type/Class) | Common.Lib.Graph |
| 2 (Data Constructor) | Common.Lib.Graph |
| Greater | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| greater | Common.Doc |
| Greatereq | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| greaterEq | Common.Keywords |
| greaterpS | CSL.Keywords |
| greaterS | Common.Keywords |
| Green | GUI.GraphTypes |
| grid | GUI.HTkUtils |
| GridIPadX | GUI.HTkUtils |
| GridIPadY | GUI.HTkUtils |
| GridPackOption | GUI.HTkUtils |
| GridPadX | GUI.HTkUtils |
| GridPadY | GUI.HTkUtils |
| GridPos | GUI.HTkUtils |
| Groove | GUI.HTkUtils |
| Grothendieck | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| GroundConstant | CSL.AS_BASIC_CSL |
| Group | |
| 1 (Data Constructor) | Common.Lib.Tabular |
| 2 (Data Constructor) | Syntax.AS_Structured |
| groupByArgs | Comorphisms.HasCASL2IsabelleHOL |
| GroupCmd | Interfaces.Command |
| groupCons | Comorphisms.HasCASL2IsabelleHOL |
| groupHistory | Static.History |
| groupSpec | Syntax.Parse_AS_Structured |
| Group_anno | Common.AS_Annotation |
| Group_arch_spec | Syntax.AS_Architecture |
| Group_unit_term | Syntax.AS_Architecture |
| gS | CSL.Keywords |
| gselName | Taxonomy.MMiSSOntology |
| gselType | Taxonomy.MMiSSOntology |
| gSigCoerce | Logic.Grothendieck |
| gsigManyIntersect | Logic.Grothendieck |
| gsigManyUnion | Logic.Grothendieck |
| GSigMap | |
| 1 (Type/Class) | OMDoc.Export |
| 2 (Data Constructor) | OMDoc.Export |
| gSign | Logic.Grothendieck |
| gSignLogic | Logic.Grothendieck |
| gSignSelfIdx | Logic.Grothendieck |
| gsigUnion | Logic.Grothendieck |
| gSineLogic | Persistence.Reasoning.PremiseSelectionSInE |
| GStatus | Common.GtkGoal |
| gStatus | Common.GtkGoal |
| gsuccess | Common.LogicT |
| gTheoryLogic | Static.GTheory |
| gTheorySelfIdx | Static.GTheory |
| gTheorySens | Static.GTheory |
| gTheorySign | Static.GTheory |
| gTheorySignIdx | Static.GTheory |
| gTheorySyntax | Static.GTheory |
| GTimeout | Common.GtkGoal |
| gtkAddSentence | GUI.GtkAddSentence |
| GT_data | TPTP.AS |
| GT_DataTerm | TPTP.AS |
| GT_General_Data | THF.As |
| GT_General_Data_Term | THF.As |
| GT_General_List | THF.As |
| GT_list | TPTP.AS |
| Guard | ExtModal.AS_ExtModal |
| guardForm | GUI.HTkUtils |
| guardFormIO | GUI.HTkUtils |
| guardNothing | GUI.HTkUtils |
| guess | Driver.Options |
| Guessed | Static.GTheory |
| GuessIn | Driver.Options |
| guessXmlContent | Driver.ReadFn |
| guiDefaultTimeLimit | Interfaces.GenericATPState |
| GUIMVar | GUI.HTkUtils |
| GuiType | Driver.Options |
| guiType | Driver.Options |
| GUIVALUE | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| GUIValue | GUI.HTkUtils |
| gumby | GUI.HTkUtils |
| gWeaklyAmalgamableCocone | Proofs.ComputeColimit |
| G_basic_spec | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_cons_checker | |
| 1 (Type/Class) | Proofs.AbstractState |
| 2 (Data Constructor) | Proofs.AbstractState |
| G_hiding | Syntax.AS_Structured |
| G_logic_projection | Syntax.AS_Structured |
| G_logic_translation | Syntax.AS_Structured |
| G_mapofsymbol | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_mapping | Syntax.AS_Structured |
| G_morphism | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_proof_tree | |
| 1 (Type/Class) | Proofs.AbstractState |
| 2 (Data Constructor) | Proofs.AbstractState |
| G_prover | |
| 1 (Type/Class) | Proofs.AbstractState |
| 2 (Data Constructor) | Proofs.AbstractState |
| G_sign | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_SInEResult | |
| 1 (Type/Class) | Persistence.Reasoning.PremiseSelectionSInE |
| 2 (Data Constructor) | Persistence.Reasoning.PremiseSelectionSInE |
| G_sublogics | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_symbol | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| G_symbolmap | |
| 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_theory | |
| 1 (Type/Class) | Static.GTheory |
| 2 (Data Constructor) | Static.GTheory |
| G_theory_with_cons_checker | |
| 1 (Type/Class) | Proofs.AbstractState |
| 2 (Data Constructor) | Proofs.AbstractState |
| G_theory_with_prover | |
| 1 (Type/Class) | Proofs.AbstractState |
| 2 (Data Constructor) | Proofs.AbstractState |