Index - B
| Back | Isabelle.IsaSign |
| background | GUI.HTkUtils |
| backS | Isabelle.IsaConsts |
| Backward | GUI.HTkUtils |
| BackwardChars | GUI.HTkUtils |
| backwardCompatibleWith | OWL2.Keywords |
| BackwardLines | GUI.HTkUtils |
| badLibError | LF.Analysis |
| badSigError | LF.Analysis |
| badSymsError | LF.Analysis |
| badValError | LF.Analysis |
| bagofN | Common.LogicT |
| balanced | |
| 1 (Function) | Maude.Parse |
| 2 (Function) | Haskell.Wrapper |
| balancemodS | CSL.Keywords |
| bar | Common.Doc |
| barS | |
| 1 (Function) | Common.Keywords |
| 2 (Function) | Isabelle.IsaConsts |
| barT | Common.AnnoState |
| BASE | LF.Sign |
| Base | |
| 1 (Data Constructor) | Haskell.HatParser |
| 2 (Type/Class) | RDF.AS |
| 3 (Data Constructor) | RDF.AS |
| base | Haskell.HatParser |
| base64BinaryS | OWL2.Keywords |
| baseB | LF.Framework |
| baseChannels | CMDL.DataTypesUtils |
| BaseDecl | Haskell.HatParser |
| BasedUnitSig | Static.ArchDiagram |
| Based_lambda_unit_sig | Static.ArchDiagram |
| Based_par_unit_sig | Static.ArchDiagram |
| Based_unit_sig | Static.ArchDiagram |
| BaseExp | Haskell.HatParser |
| BaseIndex | GUI.HTkUtils |
| Baseline | GUI.HTkUtils |
| baseListAxioms | CommonLogic.PredefinedCASLAxioms |
| baseM | LF.Framework |
| basename | Common.Utils |
| BaseObject | |
| 1 (Data Constructor) | FreeCAD.As |
| 2 (Type/Class) | FreeCAD.As |
| baseQN | LF.Twelf2GR |
| Baserel | |
| 1 (Type/Class) | CASL.CompositionTable.CompositionTable |
| 2 (Data Constructor) | CASL.CompositionTable.CompositionTable |
| baserel | CASL.CompositionTable.Pretty2 |
| baseRelations | CASL.CompositionTable.CompositionTable |
| baseRelationsS | CASL.CompositionTable.Keywords |
| baserelBaserel | CASL.CompositionTable.CompositionTable |
| BaseSig | Isabelle.IsaSign |
| baseSig | |
| 1 (Function) | Isabelle.IsaSign |
| 2 (Function) | LF.Framework |
| baseSign | Comorphisms.HasCASL2IsabelleHOL |
| BaseStatement | RDF.AS |
| basestruct | Haskell.HatParser |
| baseTerm | HasCASL.ParseTerm |
| base_sig | Logic.Logic |
| Basic | Driver.Options |
| basicAna | |
| 1 (Function) | Adl.StatAna |
| 2 (Function) | CSMOF.StatAna |
| 3 (Function) | QVTR.StatAna |
| 4 (Function) | VSE.Ana |
| basicAnaAux | CspCASL.StatAnaCSP |
| basicAnalysis | |
| 1 (Function) | Maude.Shellout |
| 2 (Function) | LF.Analysis |
| 3 (Function) | DFOL.Analysis_DFOL |
| 4 (Function) | CASL.StaticAna |
| 5 (Function) | THF.StaticAnalysisTHF |
| 6 (Function) | HasCASL.AsToLe |
| basicAnalysisCspCASL | CspCASL.StatAnaCSP |
| basicCASLAnalysis | CASL.StaticAna |
| basicCASL_DLAnalysis | CASL_DL.StatAna |
| basicCoCASLAnalysis | CoCASL.StatAna |
| basicCommonLogicAnalysis | CommonLogic.Analysis |
| basicConstraintCASLAnalysis | ConstraintCASL.StaticAna |
| basicCSLAnalysis | CSL.Analysis |
| basicEModalAnalysis | ExtModal.StatAna |
| BasicExtResponse | Static.FromXmlUtils |
| basicFCAnalysis | FreeCAD.Logic_FreeCAD |
| basicFplAnalysis | Fpl.StatAna |
| basicHybridAnalysis | Hybrid.StatAna |
| basicInferenceNode | Proofs.InferBasic |
| BasicItem | HasCASL.As |
| BASICITEMS | QBF.AS_BASIC_QBF |
| basicItems | |
| 1 (Function) | CASL.Parse_AS_Basic |
| 2 (Function) | HasCASL.ParseItem |
| basicModalAnalysis | Modal.StatAna |
| basicOWL2Analysis | OWL2.StaticAnalysis |
| BasicProof | |
| 1 (Type/Class) | Static.GTheory |
| 2 (Data Constructor) | Static.GTheory |
| basicProofToConStatus | Proofs.ConsistencyCheck |
| basicProofToGStatus | Common.GtkGoal |
| basicPropositionalAnalysis | |
| 1 (Function) | Propositional.Analysis |
| 2 (Function) | QBF.Analysis |
| basicRDFAnalysis | RDF.StaticAnalysis |
| basicRenames | Comorphisms.CommonLogic2IsabelleHOL |
| BASICSPEC | QBF.AS_BASIC_QBF |
| BasicSpec | |
| 1 (Data Constructor) | QBF.AS_BASIC_QBF |
| 2 (Type/Class) | HasCASL.As |
| 3 (Data Constructor) | HasCASL.As |
| basicSpec | |
| 1 (Function) | RDF.Parse |
| 2 (Function) | OWL2.ManchesterParser |
| 3 (Function) | CommonLogic.Parse_KIF |
| 4 (Function) | CommonLogic.Parse_CLIF |
| 5 (Function) | LF.Parse |
| 6 (Function) | DFOL.Parse_AS_DFOL |
| 7 (Function) | CASL.Parse_AS_Basic |
| 8 (Function) | Propositional.Parse_AS_Basic |
| 9 (Function) | CSL.Parse_AS_Basic |
| 10 (Function) | QBF.Parse_AS_Basic |
| 11 (Function) | HasCASL.ParseItem |
| 12 (Function) | TopHybrid.Parse_AS |
| basicSpecParser | Logic.Logic |
| basicSpecPrinter | Logic.Logic |
| basicSpecSyntaxes | Logic.Logic |
| BasicSpecTHF | |
| 1 (Type/Class) | THF.Cons |
| 2 (Data Constructor) | THF.Cons |
| BasicType | Common.XPath |
| basicType | Common.XPath |
| basic_analysis | Logic.Logic |
| Basic_arch_spec | Syntax.AS_Architecture |
| BASIC_ITEM | |
| 1 (Type/Class) | LF.AS |
| 2 (Type/Class) | DFOL.AS_DFOL |
| 3 (Type/Class) | CSL.AS_BASIC_CSL |
| BASIC_ITEMS | |
| 1 (Type/Class) | CommonLogic.AS_CommonLogic |
| 2 (Type/Class) | CASL.AS_Basic_CASL |
| 3 (Type/Class) | Propositional.AS_BASIC_Propositional |
| basic_Rel_analysis | RelationalScheme.StaticAnalysis |
| BASIC_SPEC | |
| 1 (Type/Class) | CommonLogic.AS_CommonLogic |
| 2 (Type/Class) | LF.AS |
| 3 (Type/Class) | DFOL.AS_DFOL |
| 4 (Type/Class) | Temporal.AS_BASIC_Temporal |
| 5 (Type/Class) | CASL.AS_Basic_CASL |
| 6 (Type/Class) | Propositional.AS_BASIC_Propositional |
| 7 (Type/Class) | CSL.AS_BASIC_CSL |
| Basic_spec | |
| 1 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 2 (Data Constructor) | LF.AS |
| 3 (Data Constructor) | DFOL.AS_DFOL |
| 4 (Data Constructor) | Temporal.AS_BASIC_Temporal |
| 5 (Data Constructor) | CASL.AS_Basic_CASL |
| 6 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| 7 (Data Constructor) | CSL.AS_BASIC_CSL |
| 8 (Data Constructor) | Syntax.AS_Structured |
| basisEntityS | CASL.CompositionTable.Keywords |
| basItemStatAna | ExtModal.StatAna |
| batchTimeEnv | Interfaces.GenericATPState |
| batchTimeLimit | Proofs.BatchProcessing |
| bbox | GUI.HTkUtils |
| BCursor | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| Before | Common.XUpdate |
| before | GUI.HTkUtils |
| beginS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Isabelle.IsaConsts |
| begPlace | Common.Id |
| behaviourallyS | Common.Keywords |
| bell | GUI.HTkUtils |
| below | Common.Lib.Tabular |
| belowItem | GUI.HTkUtils |
| beside | Common.Lib.Tabular |
| bestRange | HasCASL.As |
| BExp | QVTR.As |
| bExp | QVTR.As |
| bfspaceS | CSL.Keywords |
| bg | GUI.HTkUtils |
| bgstipple | GUI.HTkUtils |
| Biconditional | CommonLogic.AS_CommonLogic |
| bigIncrement | GUI.HTkUtils |
| BiImplication | TopHybrid.AS_TopHybrid |
| binC | OWL2.ShipSyntax |
| binConj | Isabelle.IsaConsts |
| binConst | Comorphisms.HasCASL2IsabelleHOL |
| bind | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | CSL.AS_BASIC_CSL |
| Binder | HolLight.Term |
| binders | HasCASL.Le |
| bindi | Common.LogicT |
| BindInfo | |
| 1 (Type/Class) | CSL.AS_BASIC_CSL |
| 2 (Data Constructor) | CSL.AS_BASIC_CSL |
| BindInfoMap | CSL.AS_BASIC_CSL |
| bindingVarPos | CSL.AS_BASIC_CSL |
| binDisj | Isabelle.IsaConsts |
| bindP | Common.Keywords |
| bindPath | GUI.HTkUtils |
| bindPathSimple | GUI.HTkUtils |
| bindSimple | GUI.HTkUtils |
| binEq | Isabelle.IsaConsts |
| binEqv | Isabelle.IsaConsts |
| binEqvSim | Isabelle.IsaConsts |
| binEq_PreAlphabet | CspCASLProver.Consts |
| binImageOp | Isabelle.IsaConsts |
| binImpl | Isabelle.IsaConsts |
| binLogOps | SoftFOL.PrintTPTP |
| binMembership | Isabelle.IsaConsts |
| BinOp | CommonLogic.AS_CommonLogic |
| BinOpAttr | |
| 1 (Data Constructor) | HasCASL.As |
| 2 (Type/Class) | HasCASL.As |
| binP | OWL2.ShipSyntax |
| binPP | OWL2.ShipSyntax |
| BinPred | CspCASL.AS_CspCASL_Process |
| binUnion | Isabelle.IsaConsts |
| binVNameAppl | Isabelle.IsaConsts |
| bitems | TopHybrid.AS_TopHybrid |
| BitMap | GUI.HTkUtils |
| bitmap | GUI.HTkUtils |
| BitMapDesignator | GUI.HTkUtils |
| BitMapFile | GUI.HTkUtils |
| BitMapHandle | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| BitMapItem | GUI.HTkUtils |
| Black | GUI.GraphTypes |
| blacklist | Driver.Options |
| Blank | GUI.UDGUtils |
| bList | HasCASL.Builtin |
| Block | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| 4 (Data Constructor) | VSE.As |
| block | VSE.As |
| blockComment | Maude.Parse |
| blockPrio | Isabelle.IsaExport |
| Block_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| Blue | GUI.GraphTypes |
| Body | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaParse |
| 4 (Data Constructor) | Isabelle.IsaParse |
| body | HolLight.Helper |
| Body_ | Isabelle.IsaExport |
| Body_Axioms | Isabelle.IsaExport |
| Body_Cls | Isabelle.IsaExport |
| Body_Consts | Isabelle.IsaExport |
| Body_Datatypes | Isabelle.IsaExport |
| Body_Definition | Isabelle.IsaExport |
| Body_Defs | Isabelle.IsaExport |
| Body_Domains | Isabelle.IsaExport |
| Body_Fixrec | Isabelle.IsaExport |
| Body_Funs | Isabelle.IsaExport |
| Body_Instance | Isabelle.IsaExport |
| Body_Instantiation | Isabelle.IsaExport |
| Body_Lemma | Isabelle.IsaExport |
| Body_Locale | Isabelle.IsaExport |
| Body_Primrec | Isabelle.IsaExport |
| Body_Subclass | Isabelle.IsaExport |
| Body_Typedef | Isabelle.IsaExport |
| Body_TypeSynonym | Isabelle.IsaExport |
| Bold | GUI.HTkUtils |
| BoldFontStyle | GUI.UDGUtils |
| BoldItalicFontStyle | GUI.UDGUtils |
| Boolean | Common.XPath |
| booleanImported | Maude.PreComorphism |
| booleanKeywords | CSL.Keywords |
| booleanS | OWL2.Keywords |
| boolForm | CASL.AS_Basic_CASL |
| boolOfTerm | HolLight.Helper |
| boolop_binary | CommonLogic.Parse_KIF |
| boolop_nary | CommonLogic.Parse_KIF |
| boolop_quant | CommonLogic.Parse_KIF |
| boolSig | VSE.Ana |
| boolSort | Fpl.Sign |
| boolT | Isabelle.IsaConsts |
| BoolTerm | Fpl.As |
| boolTerm | Fpl.As |
| boolType | |
| 1 (Function) | Isabelle.IsaConsts |
| 2 (Function) | Fpl.Sign |
| BOOL_SENT | CommonLogic.AS_CommonLogic |
| Bool_sent | CommonLogic.AS_CommonLogic |
| bOps | HasCASL.Builtin |
| Border | GUI.UDGUtils |
| BorderSource | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.UDGUtils |
| borderwidth | GUI.HTkUtils |
| bot | |
| 1 (Function) | Common.Lattice, CASL.Sublogic |
| 2 (Function) | DFOL.Comorphism |
| botci | THF.HasCASL2THF0Buildins |
| botCoFormulaSorts | Comorphisms.CoCASL2CoSubCFOL |
| botCoSorts | Comorphisms.CoCASL2CoSubCFOL |
| botFormulaSorts | Comorphisms.CASL2SubCFOL |
| botFS | THF.HasCASL2THF0Buildins |
| Both | GUI.HTkUtils |
| BothDirections | Common.AS_Annotation |
| BothEnds | GUI.HTkUtils |
| bothLits | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| botId | HasCASL.Builtin |
| botR | OWL2.ShipSyntax |
| botSorts | Comorphisms.CASL2SubCFOL |
| botSublogic | ExtModal.Sublogic |
| botTermSorts | Comorphisms.CASL2SubCFOL |
| botTok | |
| 1 (Function) | CASL.Project |
| 2 (Function) | DFOL.Comorphism |
| Bottom | GUI.HTkUtils |
| bottom | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | CASL.Sublogic |
| 3 (Function) | Propositional.Sublogic |
| 4 (Function) | QBF.Sublogic |
| 5 (Function) | HasCASL.Sublogic |
| 6 (Function) | HasCASL.ProgEq |
| bottomDataProp | OWL2.Keywords |
| BottomLabel | GUI.HTkUtils |
| bottomObjProp | OWL2.Keywords |
| bottomProfile | OWL2.Profiles |
| bottomPT | Isabelle.IsaConsts |
| bottomS | OWL2.ProfilesAndSublogics |
| bottomSublogic | Logic.Logic |
| BottomUp | GUI.UDGUtils |
| botType | |
| 1 (Function) | HasCASL.Builtin |
| 2 (Function) | Comorphisms.CASL2SubCFOL |
| Bound | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| boundBodyPos | CSL.AS_BASIC_CSL |
| boundIndex | Isabelle.IsaExport |
| boundlist | CommonLogic.Parse_CLIF |
| Box | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| 3 (Data Constructor) | FreeCAD.As |
| 4 (Type/Class) | OWL2.ShipSyntax |
| 5 (Data Constructor) | OWL2.ShipSyntax |
| 6 (Data Constructor) | ExtModal.AS_ExtModal |
| 7 (Data Constructor) | TopHybrid.AS_TopHybrid |
| 8 (Data Constructor) | VSE.As |
| box | OWL2.ShipSyntax |
| BoxOp | ExtModal.AS_ExtModal |
| boxOrDiamandProg | VSE.Parse |
| BoxOrDiamond | |
| 1 (Data Constructor) | CoCASL.AS_CoCASL |
| 2 (Data Constructor) | ExtModal.AS_ExtModal |
| 3 (Data Constructor) | Hybrid.AS_Hybrid |
| 4 (Data Constructor) | Modal.AS_Modal |
| 5 (Type/Class) | VSE.As |
| braced | OWL2.ShipSyntax |
| bracedList | CspCASL.Parse_CspCASL_Process |
| braceP | Common.Token |
| Braces | HasCASL.As |
| braces | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Lexer |
| 3 (Function) | Common.Doc |
| bracesP | |
| 1 (Function) | OWL2.Parse |
| 2 (Function) | LF.MorphParser |
| bracket | HasCASL.PrintAs |
| BracketKind | HasCASL.As |
| bracketP | Common.Token |
| bracketParser | HasCASL.ParseTerm |
| brackets | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| bracketsP | |
| 1 (Function) | OWL2.Parse |
| 2 (Function) | LF.MorphParser |
| BracketTerm | HasCASL.As |
| BracketType | HasCASL.As |
| BracketTypePattern | HasCASL.As |
| BranchRefSig | Static.DevGraph |
| BranchSig | Static.DevGraph |
| BranchStaticContext | Static.DevGraph |
| Break | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| breakPrio | Isabelle.IsaExport |
| bRels | Adl.As |
| brepToXmlBinary | FreeCAD.Brep |
| breve | Common.Doc |
| brId | CommonLogic.PredefinedCASLAxioms |
| BriefClause | SoftFOL.Sign |
| broadcast | GUI.UDGUtils |
| Broadcaster | GUI.UDGUtils |
| BroadcasterClass | GUI.UDGUtils |
| Broker | SoftFOL.MathServParsing |
| brokerName | SoftFOL.MathServMapping |
| Browse | GUI.HTkUtils |
| bs | Comorphisms.HolLight2Isabelle |
| BSet | CASL.CompositionTable.ModelTable |
| Bspec | TopHybrid.AS_TopHybrid |
| BStContext | Static.DevGraph |
| bsToItem | |
| 1 (Function) | CASL.ToItem |
| 2 (Function) | HasCASL.ToItem |
| bsToSign | FreeCAD.Logic_FreeCAD |
| bType | HasCASL.Builtin |
| bTypeArg | HasCASL.Builtin |
| bTypes | HasCASL.Builtin |
| buildGraph | LF.Twelf2GR |
| buildInfo | CSMOF.StatAna |
| buildInstances | CSMOF.StatAna |
| buildKeyC | QVTR.StatAna |
| buildKeyConstr | QVTR.StatAna |
| buildKeyDef | QVTR.StatAna |
| buildKeyDefs | QVTR.StatAna |
| buildLinks | CSMOF.StatAna |
| buildMapFromList | TopHybrid.Utilities |
| buildPattern | QVTR.StatAna |
| buildRelations | QVTR.StatAna |
| buildRules | QVTR.StatAna |
| buildSen | CSMOF.StatAna |
| buildSentences | |
| 1 (Function) | CSMOF.StatAna |
| 2 (Function) | QVTR.StatAna |
| buildSignature | |
| 1 (Function) | CSMOF.StatAna |
| 2 (Function) | QVTR.StatAna |
| buildSignatureInfo | CSMOF.StatAna |
| buildStrMorphisms | Static.WACocone |
| buildVMap | CASL.Utils |
| Builtin | Common.Data |
| builtXGraph | Static.XGraph |
| bullet | Common.Doc |
| bulletP | OWL2.ShipSyntax |
| Button | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| button | GUI.HTkUtils |
| Button1 | GUI.HTkUtils |
| Button2 | GUI.HTkUtils |
| Button3 | GUI.HTkUtils |
| Button4 | GUI.HTkUtils |
| Button5 | GUI.HTkUtils |
| buttonColours | GUI.HTkUtils |
| ButtonPress | GUI.HTkUtils |
| ButtonRelease | GUI.HTkUtils |
| ButtonWidget | GUI.HTkUtils |
| By | Isabelle.IsaSign |
| byeS | CSL.Keywords |
| byFunctions | SoftFOL.Sign |
| byS | Isabelle.IsaConsts |
| byteS | OWL2.Keywords |