| M | GUI.HTkUtils |
| macroS | CSL.Keywords |
| main | Main |
| MainClasses | OWL2.AS |
| mainClassesS | OWL2.ASKeywords |
| MainHCPairs_thy | Isabelle.IsaSign |
| MainHC_thy | Isabelle.IsaSign |
| mainS | Isabelle.IsaStrings |
| Maintains | Adl.As |
| mainvarS | CSL.Keywords |
| Main_thy | Isabelle.IsaSign |
| make1 | OWL2.XMLConversion |
| make2 | OWL2.XMLConversion |
| makeApplication | DFOL.Comorphism |
| makeArgNames | DFOL.Comorphism |
| makeAttr | FreeCAD.XMLPrinter |
| makeBOElem | FreeCAD.XMLPrinter |
| makeComment | OMDoc.XmlInterface |
| makeDataSelEqs | HasCASL.DataAna |
| makeDefault | Logic.Logic |
| makeDiagram | Proofs.ComputeColimit |
| makeDiagramAux | Proofs.ComputeColimit |
| makeDisjoint | CASL.StaticAna |
| makeDisjSubsorts | CASL.StaticAna |
| makeDisjToSort | CASL.StaticAna |
| makeElement | OWL2.XMLConversion |
| makeElementWith1 | OWL2.XMLConversion |
| makeEquivMono | HasCASL.TypeRel |
| makeEquivMonos | HasCASL.TypeRel |
| makeExists | DFOL.Comorphism |
| makeExplicitProducts | Comorphisms.THFP2THF0 |
| makeExtSign | Logic.ExtSign |
| makeForAll | Comorphisms.HolLight2Isabelle |
| makeForall | DFOL.Comorphism |
| makeFormEntry | GUI.HTkUtils |
| makeFormString | GUI.HTkUtils |
| makeFormStringIO | GUI.HTkUtils |
| makeGoal | TIP.Prover.Common |
| makeGraph | GUI.GraphAbstraction |
| makegraph | Taxonomy.AbstractGraphView |
| makegraphExt | Taxonomy.AbstractGraphView |
| makeImport | OMDoc.Export |
| makeImportMapping | OMDoc.Export |
| makeInjective | CASL.StaticAna |
| makeInjOrProj | CASL.Inject |
| makeLogicItem | Syntax.AS_Library |
| makeMonomorph | HasCASL.VarDecl |
| makeMonos | HasCASL.TypeRel |
| makeMorphism | OMDoc.Export |
| makeMorphismEntry | OMDoc.Export |
| makeName | Static.DgUtils |
| makeNamed | Common.AS_Annotation |
| makeNamedForm | LF.Analysis |
| makeNamedForms | LF.Analysis |
| makeNamedSen | Common.AS_Annotation |
| makeNamedSentence | HolLight.HolLight2DG |
| makeObjElem | FreeCAD.XMLPrinter |
| makeOpts | Driver.Options |
| makeOWLPredefMaps | OWL2.AS |
| makePartial | CASL.Sign |
| makePlaceElem | FreeCAD.XMLPrinter |
| makePredefDataProp | OWL2.AS |
| makePredefObjProp | OWL2.AS |
| makePredefOWLAnnoProp | OWL2.AS |
| makePredefRDFSAnnoProp | OWL2.AS |
| makePredication | DFOL.Comorphism |
| makeQN | OWL2.XMLConversion |
| makeRelativeDesc | Common.Utils |
| makeRenames | Comorphisms.CommonLogic2IsabelleHOL |
| makeRgName | Static.DgUtils |
| makeRules | |
| 1 (Function) | CASL.MixfixParser |
| 2 (Function) | HasCASL.MixAna |
| makeSelForms | CASL.StaticAna |
| makeSigSen | LF.Analysis |
| makeSpec | Syntax.AS_Structured |
| makeSpecInst | Syntax.AS_Structured |
| makeSpecItem | Syntax.AS_Library |
| makeSymbMap | LF.Analysis |
| makeTheoryForSentences | Proofs.AbstractState |
| makeTypeArgs | HasCASL.ParseTerm |
| makeTypeHyp | DFOL.Comorphism |
| makeTypeHyps | DFOL.Comorphism |
| makeTypesAndVars | DFOL.Comorphism |
| makeUndefForm | CASL.StaticAna |
| makeUnit | CASL.StaticAna |
| makeVar | DFOL.Comorphism |
| makeVarDecls | HasCASL.ParseTerm |
| makeXsdMap | OWL2.AS |
| Manchester | Driver.Options |
| manualPremises | PGIP.ReasoningParameters |
| ManualPremiseSelection | |
| 1 (Data Constructor) | Persistence.Schema.Enums |
| 2 (Type/Class) | Persistence.Schema |
| 3 (Data Constructor) | Persistence.Schema |
| ManualPremiseSelectionId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ManualPremiseSelectionKey | Persistence.Schema |
| Many | ExtModal.Sublogic |
| manyN | OWL2.ParseAS |
| Map | GUI.HTkUtils |
| map | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.Lib.Rel |
| 3 (Function) | Common.Lib.SizedList |
| 4 (Function) | Common.OrderedMap |
| map1 | GUI.UDGUtils |
| map1IO | GUI.UDGUtils |
| map2 | GUI.UDGUtils |
| mapAccumLCM | Common.Utils |
| mapAccumLM | Common.Utils |
| mapAlt | HasCASL.Morphism |
| mapAn | CASL.StaticAna |
| mapAnM | Common.AS_Annotation |
| mapAnMaybe | HasCASL.TypeDecl |
| mapArgs | HasCASL.Unify |
| mapAsFunction | Maude.Util |
| mapAsSymbol | Maude.Meta.AsSymbol, Maude.Meta |
| mapAxiomItems | OWL2.Propositional2OWL2 |
| mapBasicItems | OWL2.Propositional2OWL2 |
| mapBasicSpec | OWL2.Propositional2OWL2 |
| mapCASLMor | CASL.Morphism |
| mapClause | Propositional.Conversions |
| mapConstr | CASL.MapSentence |
| mapCoRecord | CoCASL.StatAna |
| mapC_FORMULA | CoCASL.StatAna |
| mapDataEntry | HasCASL.Morphism |
| mapDecoratedOpSymb | CASL.MapSentence |
| mapDlformula | VSE.Ana |
| mapEMform | ExtModal.MorphismExtension |
| mapEMframe | ExtModal.MorphismExtension |
| mapEMmod | ExtModal.MorphismExtension |
| mapEMprefix | ExtModal.MorphismExtension |
| mapEntry | OMDoc.Export |
| mapEq | HasCASL.MapTerm |
| mapExpr | CSL.ASUtils |
| mapExtForm | ExtModal.StatAna |
| mapExtFrameForm | ExtModal.StatAna |
| mapExtMod | ExtModal.StatAna |
| mapExtPrefix | ExtModal.StatAna |
| mapForm | |
| 1 (Function) | CASL.Sign |
| 2 (Function) | GUI.HTkUtils |
| mapFormIO | GUI.HTkUtils |
| mapFORMULA | CASL.Sign |
| mapFormula | |
| 1 (Function) | CASL.ShowMixfix |
| 2 (Function) | OWL2.Propositional2OWL2 |
| mapFplSen | Fpl.Morphism |
| mapFunSym | HasCASL.Morphism |
| mapGenVar | HasCASL.MapTerm |
| mapG_theory | Static.GTheory |
| mapHolSen | Comorphisms.HolLight2Isabelle |
| mapIOSeq | GUI.UDGUtils |
| mapKind | HasCASL.AsUtils |
| mapKindI | HasCASL.Morphism |
| mapKinds | HasCASL.Morphism |
| mapKindsOfType | HasCASL.Morphism |
| mapKindV | HasCASL.AsUtils |
| mapLabels | Maude.Meta.HasLabels, Maude.Meta |
| mapMakeFormEntry | GUI.HTkUtils |
| mapMarkedTheory | Logic.Comorphism |
| mapMathServResponse | SoftFOL.MathServMapping |
| mapMaudeFreeness | Comorphisms.Maude2CASL |
| mapMenuPrim | GUI.UDGUtils |
| mapMenuPrim' | GUI.UDGUtils |
| mapMin | Common.GraphAlgo |
| mapMMenuPrim | GUI.UDGUtils |
| mapMMenuPrim' | GUI.UDGUtils |
| mapMonotonic | Common.Lib.MapSet |
| mapMor | |
| 1 (Function) | Propositional.Prop2CASLHelpers |
| 2 (Function) | Comorphisms.CASL2HasCASL |
| mapMorphForm | CASL.MapSentence |
| mapMorphism | |
| 1 (Function) | CASL.MapSentence |
| 2 (Function) | LF.ComorphFram |
| 3 (Function) | Maude.PreComorphism |
| mapName | Maude.Meta.HasName, Maude.Meta |
| mapNamed | Common.AS_Annotation |
| mapNamedM | Common.AS_Annotation |
| mapNamedSen | Comorphisms.HolLight2Isabelle |
| mapOpAttr | HasCASL.MapTerm |
| mapOpInfo | HasCASL.MapTerm |
| mapOps | |
| 1 (Function) | Maude.Meta.HasOps, Maude.Meta |
| 2 (Function) | Comorphisms.HolLight2Isabelle |
| mapOpSym | CASL.Morphism |
| mapOpSymb | CASL.MapSentence |
| mapOpType | CASL.Morphism |
| mappedChanSym | CspCASL.SymMapAna |
| mappedProcSym | CspCASL.SymMapAna |
| Mapping | |
| 1 (Type/Class) | PGIP.GraphQL.Result.Mapping |
| 2 (Data Constructor) | PGIP.GraphQL.Result.Mapping |
| 3 (Data Constructor) | Persistence.Schema.Enums |
| 4 (Type/Class) | Persistence.Schema |
| 5 (Data Constructor) | Persistence.Schema |
| mapping | Static.XGraph |
| MappingConservativityStatusId | Persistence.Schema |
| mappingConservativityStatusId | Persistence.Schema |
| MappingDisplayName | Persistence.Schema |
| mappingDisplayName | Persistence.Schema |
| MappingFreenessParameterLanguageId | Persistence.Schema |
| mappingFreenessParameterLanguageId | Persistence.Schema |
| MappingFreenessParameterOMSId | Persistence.Schema |
| mappingFreenessParameterOMSId | Persistence.Schema |
| MappingId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| MappingKey | Persistence.Schema |
| MappingName | Persistence.Schema |
| mappingName | Persistence.Schema |
| MappingOrigin | |
| 1 (Type/Class) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Persistence.Schema |
| mappingOrigin | Persistence.Schema |
| MappingPending | Persistence.Schema |
| mappingPending | Persistence.Schema |
| mappings | PGIP.GraphQL.Result.SignatureMorphism |
| MappingSignatureMorphismId | Persistence.Schema |
| mappingSignatureMorphismId | Persistence.Schema |
| MappingSourceId | Persistence.Schema |
| mappingSourceId | Persistence.Schema |
| mappingsSource | PGIP.GraphQL.Result.OMS |
| mappingsTarget | PGIP.GraphQL.Result.OMS |
| MappingTargetId | Persistence.Schema |
| mappingTargetId | Persistence.Schema |
| mappingToResult | PGIP.GraphQL.Resolver.ToResult |
| MappingType | |
| 1 (Type/Class) | Persistence.Schema.MappingType |
| 2 (Data Constructor) | Persistence.Schema |
| mappingType | |
| 1 (Function) | PGIP.GraphQL.Result.Mapping |
| 2 (Function) | Persistence.Schema |
| mapPredDecl | OWL2.Propositional2OWL2 |
| mapPredSym | CASL.Morphism |
| mapPredType | CASL.Morphism |
| mapProcProfile | CspCASL.Morphism |
| mapProg | VSE.Fold |
| mapProverResult | SoftFOL.MathServMapping |
| mapPrSymb | CASL.MapSentence |
| mapR | Common.Result |
| MapRec | HasCASL.FoldTerm |
| mapRec | |
| 1 (Function) | HasCASL.FoldTerm |
| 2 (Function) | VSE.Fold |
| mapRecord | |
| 1 (Function) | CASL.Fold |
| 2 (Function) | Propositional.Fold |
| 3 (Function) | QBF.Tools |
| mapRTNodes | Static.DgUtils |
| mapSel | HasCASL.Morphism |
| MapSen | CASL.MapSentence |
| mapSen | |
| 1 (Function) | CASL.MapSentence |
| 2 (Function) | CspCASL.Morphism |
| 3 (Function) | HasCASL.Morphism |
| 4 (Function) | LF.ComorphFram |
| 5 (Function) | OWL2.Morphism |
| 6 (Function) | Comorphisms.CFOL2IsabelleHOL |
| 7 (Function) | Comorphisms.CspCASL2Modal |
| mapSentence | |
| 1 (Function) | CSL.Morphism |
| 2 (Function) | CommonLogic.Morphism |
| 3 (Function) | HasCASL.Morphism |
| 4 (Function) | Maude.PreComorphism |
| 5 (Function) | Propositional.Morphism |
| 6 (Function) | Propositional.Prop2CASLHelpers |
| 7 (Function) | QBF.Morphism |
| 8 (Function) | Comorphisms.HolLight2Isabelle |
| 9 (Function) | Comorphisms.CommonLogic2IsabelleHOL |
| 10 (Function) | Comorphisms.CASL2Skolem |
| 11 (Function) | Comorphisms.CASL2Prenex |
| 12 (Function) | Temporal.Morphism |
| mapSentenceH | |
| 1 (Function) | CSL.Morphism |
| 2 (Function) | Propositional.Morphism |
| 3 (Function) | QBF.Morphism |
| 4 (Function) | Temporal.Morphism |
| MapSet | Common.Lib.MapSet |
| mapSet | Common.Lib.MapSet |
| mapSetToList | CASL.Sign |
| mapSig | |
| 1 (Function) | Propositional.Prop2CASLHelpers |
| 2 (Function) | Comorphisms.CommonLogic2IsabelleHOL |
| 3 (Function) | Comorphisms.CASL2HasCASL |
| mapSigAux | Comorphisms.CASL2HasCASL |
| mapSign | |
| 1 (Function) | OWL2.Propositional2OWL2 |
| 2 (Function) | Comorphisms.HolLight2Isabelle |
| 3 (Function) | OWL2.CASL2OWL |
| 4 (Function) | Comorphisms.CSMOF2CASL |
| mapSort | CASL.Morphism |
| mapSortGenAx | OWL2.CASL2OWL |
| mapSorts | Maude.Meta.HasSorts, Maude.Meta |
| mapSrt | CASL.MapSentence |
| mapState | Common.Lib.State |
| mapsTo | Common.Keywords |
| mapsto | Common.Doc |
| mapSub | |
| 1 (Function) | Propositional.Prop2CASLHelpers |
| 2 (Function) | OWL2.Propositional2OWL2 |
| mapSublogic | Logic.Comorphism |
| mapSym | |
| 1 (Function) | Propositional.Prop2CASLHelpers |
| 2 (Function) | Comorphisms.CASL2HasCASL |
| mapSymAux | Comorphisms.CASL2HasCASL |
| mapSymb | LF.ComorphFram |
| mapSymbol | |
| 1 (Function) | DFOL.Morphism |
| 2 (Function) | LF.Morphism |
| 3 (Function) | Maude.PreComorphism |
| mapTerm | |
| 1 (Function) | CASL.ShowMixfix |
| 2 (Function) | CASL.MapSentence |
| 3 (Function) | HasCASL.MapTerm |
| mapTheory | |
| 1 (Function) | Comorphisms.PPolyTyConsHOL2IsaUtils |
| 2 (Function) | LF.ComorphFram |
| 3 (Function) | Maude.PreComorphism |
| 4 (Function) | Propositional.Prop2CASLHelpers |
| 5 (Function) | OWL2.Propositional2OWL2 |
| 6 (Function) | OWL2.DMU2OWL2 |
| 7 (Function) | Comorphisms.HolLight2Isabelle |
| 8 (Function) | Comorphisms.CommonLogic2IsabelleHOL |
| 9 (Function) | OWL2.CASL2OWL |
| 10 (Function) | Comorphisms.CASL2Skolem |
| 11 (Function) | Comorphisms.CASL2Prenex |
| 12 (Function) | Comorphisms.CASL2NNF |
| 13 (Function) | Comorphisms.CASL2HasCASL |
| mapThSensValueM | Logic.Prover |
| mapToGoalStatus | SoftFOL.MathServMapping |
| MapType | THF.Cons |
| mapType | HasCASL.Le |
| mapTypeArg | HasCASL.Morphism |
| mapTypeE | HasCASL.Morphism |
| mapTypeOfScheme | HasCASL.As |
| mapTypeRec | HasCASL.FoldType |
| mapTypes | Comorphisms.HolLight2Isabelle |
| mapTypeScheme | HasCASL.Morphism |
| mapValue | Logic.Prover |
| mapVar | HasCASL.MapTerm |
| mapVarKind | HasCASL.Morphism |
| mapVars | CASL.MapSentence |
| mapWithError | GUI.HTkUtils |
| mapWithError' | GUI.HTkUtils |
| mapWithErrorIO | GUI.HTkUtils |
| mapWithErrorIO' | GUI.HTkUtils |
| mapWithKey | Common.OrderedMap |
| map_C_FORMULA | CoCASL.Logic_CoCASL |
| map_H_FORMULA | Hybrid.Logic_Hybrid |
| map_morphism | Logic.Comorphism |
| map_M_FORMULA | Modal.Logic_Modal |
| map_rel | RelationalScheme.AS |
| map_sen | Logic.Logic |
| map_sentence | Logic.Comorphism |
| map_sign | Logic.Comorphism |
| map_symbol | Logic.Comorphism |
| map_theory | Logic.Comorphism |
| Mark | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| markAsAxiom | Logic.Prover |
| markAsGoal | Logic.Prover |
| markFree | Static.ComputeTheory |
| markHiding | Static.ComputeTheory |
| markNodeConsistency | Static.DevGraph |
| markNodeConsistent | Static.DevGraph |
| markNodeInconsistent | Static.DevGraph |
| markProved | Proofs.AbstractState |
| markSen | Common.AS_Annotation |
| markSimp | Isabelle.MarkSimp |
| markThSimp | Isabelle.MarkSimp |
| markups | Isabelle.IsaConsts |
| massS | CSL.Keywords |
| Match | TIP.AbsTIP |
| match | HasCASL.Unify |
| MatchCond | Maude.AS_Maude |
| matchDiagram | Static.ArchDiagram |
| matchElems | Common.XmlDiff |
| matches | |
| 1 (Function) | CSL.Symbol |
| 2 (Function) | CASL.Morphism |
| 3 (Function) | CommonLogic.Symbol |
| 4 (Function) | NeSyPatterns.Symbol |
| 5 (Function) | Propositional.Symbol |
| 6 (Function) | QBF.Symbol |
| 7 (Function) | Logic.Logic |
| 8 (Function) | Temporal.Symbol |
| matchesContext | Static.DevGraph |
| matchesSym | OWL2.Morphism |
| matchProcTypes | CspCASL.SymMapAna |
| matchS | CSL.Keywords |
| matchSymb | HasCASL.RawSym |
| mateigenS | CSL.Keywords |
| mathServBroker | SoftFOL.ProveMathServ |
| mathServBrokerCMDLautomaticBatch | SoftFOL.ProveMathServ |
| MathServCall | |
| 1 (Type/Class) | SoftFOL.MathServParsing |
| 2 (Data Constructor) | SoftFOL.MathServParsing |
| mathServOperation | SoftFOL.MathServParsing |
| MathServOperationTypes | SoftFOL.MathServParsing |
| MathServResponse | |
| 1 (Type/Class) | SoftFOL.MathServParsing |
| 2 (Data Constructor) | SoftFOL.MathServParsing |
| mathServService | SoftFOL.MathServParsing |
| MathServServices | SoftFOL.MathServParsing |
| matriArg | Comorphisms.HasCASL2IsabelleHOL |
| matricize | Comorphisms.HasCASL2IsabelleHOL |
| matriPEq | Comorphisms.HasCASL2IsabelleHOL |
| Matrix33 | |
| 1 (Type/Class) | FreeCAD.As |
| 2 (Data Constructor) | FreeCAD.As |
| matrixS | CSL.Keywords |
| matS | CSL.Keywords |
| Maude | |
| 1 (Data Constructor) | Framework.AS |
| 2 (Type/Class) | Maude.Logic_Maude |
| 3 (Data Constructor) | Maude.Logic_Maude |
| Maude2CASL | |
| 1 (Type/Class) | Comorphisms.Maude2CASL |
| 2 (Data Constructor) | Comorphisms.Maude2CASL |
| maude2casl | Maude.PreComorphism |
| MaudeIn | Driver.Options |
| maudeOpMap2CASLOpMap | Maude.PreComorphism |
| maudeParser | Maude.Language |
| maudePutStrLn | Maude.Shellout |
| maudeS | Common.Keywords |
| maudeSb2caslSb | Maude.PreComorphism |
| maudeSbs2caslSbs | Maude.PreComorphism |
| maudeSort2caslId | Maude.PreComorphism |
| maudeSym2CASLOp | Maude.PreComorphism |
| maudeSym2CASLOp' | Maude.PreComorphism |
| maudeSymbol2caslSort | Maude.PreComorphism |
| maudeSymbol2caslSort' | Maude.PreComorphism |
| maudeSymbol2validCASLSymbol | Maude.PreComorphism |
| maudeTerm2caslTerm | Maude.PreComorphism |
| MaudeText | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Data Constructor) | Maude.AS_Maude |
| maudeType2caslSort | Maude.PreComorphism |
| MaxCardinality | OWL2.AS |
| maxCardinalityS | CASL_DL.AS_CASL_DL |
| MAXEXCLUSIVE | OWL2.Keywords |
| maxExclusiveS | Common.Keywords |
| maximalSubs | CASL.Overload |
| MAXINCLUSIVE | OWL2.Keywords |
| maxInclusiveS | Common.Keywords |
| maxKind | CspCASL.Symbol |
| MAXLENGTH | OWL2.Keywords |
| maxLengthS | OWL2.Keywords |
| maxPrecedence | CSL.AS_BASIC_CSL |
| maxPrio | Isabelle.IsaConsts |
| maxS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | OWL2.Keywords |
| 3 (Function) | OWL2.ProfilesAndSublogics |
| maxSize | GUI.HTkUtils |
| maxsize | GUI.HTkUtils |
| maxSublogic | ExtModal.Sublogic |
| maxWaitTime | PGIP.XMLstate |
| maxWeight | Common.Prec |
| MaybeChar | VSE.Prove |
| MaybeDiagNode | Static.ArchDiagram |
| maybeDo | OWL2.Function |
| maybeE | TopHybrid.Utilities |
| maybeElem | THF.Translate |
| maybeF | Common.XUpdate |
| maybeGUIValue | GUI.HTkUtils |
| MaybeNode | Static.DevGraph |
| MaybeRestricted | Static.DevGraph |
| maybeResult | Common.Result |
| MaybeT | |
| 1 (Type/Class) | Common.Lib.Maybe |
| 2 (Data Constructor) | Common.Lib.Maybe |
| maybeToResult | Common.Result |
| Mb | Maude.AS_Maude |
| mb2formula | Maude.PreComorphism |
| mBasic | Modal.Parse_AS |
| MbCond | Maude.AS_Maude |
| MbStmnt | Maude.AS_Maude |
| mb_rl2formula | Maude.PreComorphism |
| mcdS | CSL.Keywords |
| measureWallTime | Common.Timing |
| median3 | FreeCAD.VecTools |
| Medium | GUI.HTkUtils |
| Medusa | |
| 1 (Type/Class) | OWL2.Medusa |
| 2 (Data Constructor) | OWL2.Medusa |
| medusa | OWL2.Medusa |
| MedusaJson | Driver.Options |
| medusaToJson | OWL2.MedusaToJson |
| medusaToJsonString | OWL2.MedusaToJson |
| member | |
| 1 (Function) | Common.InjMap |
| 2 (Function) | Common.Lib.MapSet |
| 3 (Function) | Common.Lib.Rel |
| memberKey | Common.Lib.Rel |
| memberS | CSL.Keywords |
| Membership | |
| 1 (Data Constructor) | CASL.AS_Basic_CASL |
| 2 (Type/Class) | Maude.AS_Maude |
| 3 (Data Constructor) | Maude.Sentence |
| membershipS | Isabelle.IsaConsts |
| membershipV | Isabelle.IsaConsts |
| membSoI | CSL.TreePO |
| membSoID | CSL.TreePO |
| Memo | Maude.AS_Maude |
| MemoryOut | SoftFOL.MathServParsing |
| memqS | CSL.Keywords |
| Menu | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| 3 (Data Constructor) | GUI.HTkUtils |
| menu | GUI.HTkUtils |
| MenuButton | GUI.HTkUtils |
| MenuCascade | GUI.HTkUtils |
| MenuCheckButton | GUI.HTkUtils |
| MenuCommand | GUI.HTkUtils |
| MenuPrim | GUI.UDGUtils |
| MenuRadioButton | GUI.HTkUtils |
| MenuSeparator | GUI.HTkUtils |
| menuTextGlobCmd | Interfaces.Command |
| merge | HasCASL.Merge |
| mergeChA | Static.XSimplePath |
| mergeClassInfo | HasCASL.PrintLe |
| mergeClassMap | HasCASL.PrintLe |
| mergeCurie | Common.IRI |
| mergeFinder | GUI.GtkConsistencyChecker |
| mergeGlobalAnnos | Common.ConvertGlobalAnnos |
| mergeMap | HasCASL.PrintLe |
| mergeNodeMod | Static.DgUtils |
| mergeOpArityMap | CSL.AS_BASIC_CSL |
| mergeOpInfo | HasCASL.Merge |
| mergeTypeDefn | HasCASL.Merge |
| mergeTypeInfo | HasCASL.Merge |
| mergeTypesOps | HolLight.HolLight2DG |
| Message | GUI.HTkUtils |
| message | |
| 1 (Function) | Common.Result |
| 2 (Function) | PGIP.GraphQL.Result.Action |
| messageMess | GUI.HTkUtils |
| MessageW | Common.Result |
| Meta | GUI.HTkUtils |
| meta | Framework.AS |
| metaC | Framework.AS |
| Metadata | Maude.AS_Maude |
| metaImplS | Isabelle.IsaConsts |
| Metamodel | |
| 1 (Type/Class) | CSMOF.As |
| 2 (Data Constructor) | CSMOF.As |
| metamodel | QVTR.As |
| metamodelK | CSMOF.XMLKeywords |
| metamodelName | CSMOF.As |
| metamodelNameK | CSMOF.XMLKeywords |
| metaS | Common.Keywords |
| MetaTerm | Isabelle.IsaSign |
| metaTerm | Isabelle.IsaSign |
| metisProveCMDLautomaticBatch | SoftFOL.ProveMetis |
| metisProver | SoftFOL.ProveMetis |
| MHsHOLCF_thy | Isabelle.IsaSign |
| MHsHOL_thy | Isabelle.IsaSign |
| middle | Common.Token |
| migrateAll | Persistence.Schema |
| migrateLogicGraphKey | Persistence.LogicGraph |
| mimeType | Common.LibName |
| Min | CASL.Overload |
| MinCardinality | OWL2.AS |
| minCardinalityS | CASL_DL.AS_CASL_DL |
| minCBaseItem | CoCASL.Sublogic |
| minCSigItem | CoCASL.Sublogic |
| minDLForm | CASL_DL.StatAna |
| MINEXCLUSIVE | OWL2.Keywords |
| minExclusiveS | Common.Keywords |
| minExpForm | |
| 1 (Function) | CoCASL.StatAna |
| 2 (Function) | Hybrid.StatAna |
| 3 (Function) | Modal.StatAna |
| 4 (Function) | VSE.Ana |
| minExpFORMULA | CASL.Overload |
| minExpFORMULAeq | CASL.Overload |
| minExpTerm | CASL.Overload |
| minFormSublogic | CoCASL.Sublogic |
| minFplTerm | Fpl.StatAna |
| Mini | Syntax.AS_Structured |
| minimal | Common.Partial |
| minimalBy | Common.Partial |
| minimalSupers | CASL.Overload |
| MINIMIZATION | Syntax.AS_Structured |
| Minimization | Syntax.AS_Structured |
| Minimize | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DgUtils |
| minimizeClassMap | HasCASL.PrintLe |
| MinimizeDef | Persistence.Schema.MappingType |
| MinimizeOpen | Persistence.Schema.MappingType |
| MinimizeProved | Persistence.Schema.MappingType |
| minimizeS | Common.Keywords |
| Minimize_spec | Syntax.AS_Structured |
| MININCLUSIVE | OWL2.Keywords |
| minInclusiveS | Common.Keywords |
| Minisat | Propositional.ProveMinisat |
| Minisat2 | Propositional.ProveMinisat |
| minisatConsChecker | Propositional.ProveMinisat |
| minisatProver | Propositional.ProveMinisat |
| MiniSatVer | Propositional.ProveMinisat |
| MINLENGTH | OWL2.Keywords |
| minLengthS | OWL2.Keywords |
| minMod | ExtModal.Sublogic |
| minRawKind | HasCASL.ClassAna |
| minS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | OWL2.Keywords |
| minSize | GUI.HTkUtils |
| minsize | GUI.HTkUtils |
| MinSL | CASL.Logic_CASL |
| minSL | CASL.Logic_CASL |
| minSLExtSigItem | ExtModal.Sublogic |
| minSortTerm | CASL.CCC.TermFormula |
| minSourceTheory | Logic.Comorphism |
| MinSublogic | Logic.Logic |
| minSublogic | Logic.Logic |
| minSublogicEMBasic | ExtModal.Sublogic |
| minSublogicEMSign | ExtModal.Sublogic |
| minSublogicOfEM | ExtModal.Sublogic |
| minSublogicOfForm | ExtModal.Sublogic |
| minSublogicOfMod | ExtModal.Sublogic |
| minSublogicOfModDefn | ExtModal.Sublogic |
| minSublogicOfPrefix | ExtModal.Sublogic |
| minSublogicOfTerm | ExtModal.Sublogic |
| minusS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| 3 (Function) | Isabelle.IsaConsts |
| minusV | Isabelle.IsaConsts |
| minVariance | HasCASL.ClassAna |
| mirrorSimpleSource | GUI.UDGUtils |
| mirrorSimpleSourceWithDelayer | GUI.UDGUtils |
| mirrorSquare | Logic.Grothendieck |
| Misc | OWL2.MS |
| misc | OWL2.ParseMS |
| MiscFrame | OWL2.PrintMS |
| MiscId | OWL2.PrintMS |
| missingExecutableInPath | Common.ProverTools |
| MissingKind | HasCASL.As |
| missingMaybe | OMDoc.XmlInterface |
| mItem | Modal.Parse_AS |
| Mix | CASL.MixfixParser |
| mixDiags | Common.Earley |
| Mixfix | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| mixfixAna | ExtModal.StatAna |
| mixfixNargs | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| mixfixPretty | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| mixfixPrio | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| MixfixTemplate | Isabelle.IsaSign |
| mixfixTemplate | Isabelle.IsaSign |
| MixfixTerm | HasCASL.As |
| MixfixType | HasCASL.As |
| MixfixTypePattern | HasCASL.As |
| Mixfix_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| Mixfix_braced | CASL.AS_Basic_CASL |
| Mixfix_bracketed | CASL.AS_Basic_CASL |
| Mixfix_cast | CASL.AS_Basic_CASL |
| Mixfix_formula | CASL.AS_Basic_CASL |
| Mixfix_parenthesized | CASL.AS_Basic_CASL |
| Mixfix_qual_pred | CASL.AS_Basic_CASL |
| Mixfix_sorted_term | CASL.AS_Basic_CASL |
| Mixfix_term | CASL.AS_Basic_CASL |
| Mixfix_token | CASL.AS_Basic_CASL |
| mixId | Common.Token |
| mixPattern | HasCASL.ParseTerm |
| MixRecord | CASL.MixfixParser |
| MixResolve | CASL.MixfixParser |
| mixResolve | CASL.MixfixParser |
| mixRule | Common.Earley |
| mixRules | CASL.MixfixParser |
| mixTerm | |
| 1 (Function) | CASL.Formula |
| 2 (Function) | HasCASL.ParseTerm |
| mixType | HasCASL.ParseTerm |
| mixTypePattern | HasCASL.ParseTerm |
| MixTypeTerm | HasCASL.As |
| mkAbbrevIRI | Common.IRI |
| mkAbs | Comorphisms.HolLight2Isabelle |
| mkAddChange | Static.XSimplePath |
| mkADT | OMDoc.OMDocInterface |
| mkADTEx | OMDoc.OMDocInterface |
| mkAndAnalyzeOp | CSL.ASUtils |
| mkAndAnalyzeOp' | CSL.ASUtils |
| mkAnyEq | CASL.AS_Basic_CASL |
| mkApp | Comorphisms.HasCASL2IsabelleHOL |
| mkAppend | CommonLogic.PredefinedCASLAxioms |
| mkAppl | CASL.AS_Basic_CASL |
| mkApplicationNotation | OMDoc.Export |
| mkApplTerm | HasCASL.AsUtils |
| mkAttr | |
| 1 (Function) | Common.ToXml |
| 2 (Function) | Static.XSimplePath |
| mkAutomaticProver | Logic.Prover |
| mkAxiom | OMDoc.OMDocInterface |
| mkAxName | CASL.Sign |
| mkAxNameSingle | CASL.Sign |
| mkBinDomType | Isabelle.IsaConsts |
| mkBot | CASL.Sublogic |
| mkBotSigFromUnit | Static.DevGraph |
| mkBraces | HasCASL.ParseTerm |
| mkBrackets | HasCASL.ParseTerm |
| mkBracketToken | HasCASL.AsUtils |
| mkCAd | OMDoc.OMDocInterface |
| mkCast | CASL.CCC.TermFormula |
| mkCAx | OMDoc.OMDocInterface |
| mkCCo | OMDoc.OMDocInterface |
| mkCD | OMDoc.Export |
| mkCDe | OMDoc.OMDocInterface |
| mkChangeCmd | Interfaces.Command |
| mkChooseFunName | CspCASLProver.Consts |
| mkChooseFunOp | CspCASLProver.Consts |
| mkCIm | OMDoc.OMDocInterface |
| mkCMP | OMDoc.OMDocInterface |
| mkComb | HolLight.Helper |
| mkCompareWithFunName | CspCASLProver.Consts |
| mkCompOpt | Framework.WriteLogicUtils |
| mkCond | Isabelle.IsaSign |
| mkCondEq | HasCASL.ProgEq |
| mkConj | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| 3 (Function) | SoftFOL.Sign |
| mkCons | CommonLogic.PredefinedCASLAxioms |
| mkConsChecker | Logic.Prover |
| mkConsStatus | Static.DgUtils |
| mkConst | |
| 1 (Function) | HolLight.Helper |
| 2 (Function) | Isabelle.IsaConsts |
| mkConstD | Isabelle.IsaConsts |
| mkConstructor | OMDoc.OMDocInterface |
| mkConstructorE | OMDoc.OMDocInterface |
| mkConstsName | THF.Translate |
| mkConstTrueEq | HasCASL.ProgEq |
| mkConstV | Isabelle.IsaConsts |
| mkConstVD | Isabelle.IsaConsts |
| mkContext | Adl.As |
| mkContFun | Isabelle.IsaConsts |
| mkContProduct | Isabelle.IsaConsts |
| mkCSy | OMDoc.OMDocInterface |
| mkCurryContFun | Isabelle.IsaConsts |
| mkCurryFunType | Isabelle.IsaConsts |
| mkDataJunction | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| mkDecimal | CASL_DL.PredefinedCASLAxioms |
| mkDecl | Framework.WriteLogicUtils |
| mkDefinition | |
| 1 (Function) | CSL.ASUtils |
| 2 (Function) | OMDoc.OMDocInterface |
| mkDefName | THF.Translate |
| mkDefSquare | Logic.Grothendieck |
| mkDGLink | Static.DevGraph |
| mkDiag | Common.Result |
| mkDigit | CASL_DL.PredefinedCASLAxioms |
| mkDisj | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| 3 (Function) | SoftFOL.Sign |
| mkDistVars | Comorphisms.CASL2Prenex |
| mkDistVarsAux | Comorphisms.CASL2Prenex |
| mkEdgeMap | Static.XGraph |
| mkElemeDecl | OWL2.XMLConversion |
| mkElement | OMDoc.XmlInterface |
| mkEmbInjAxiom | Comorphisms.CASL2PCFOL |
| mkEmbInjName | Comorphisms.CASL2PCFOL |
| mkEntity | OWL2.AS |
| mkEntityLbl | OWL2.AS |
| mkEnvForall | HasCASL.VarDecl, HasCASL.OpDecl |
| mkEq | |
| 1 (Function) | HolLight.Helper |
| 2 (Function) | SoftFOL.Sign |
| mkEqTerm | HasCASL.Builtin |
| mkEquation | CASL.Simplify |
| mkEquationAtom | CASL.Utils |
| mkEqv | CASL.AS_Basic_CASL |
| mkError | Common.Result |
| mkEsc | TIP.PrintTIP |
| mkEventInfo | GUI.HTkUtils |
| mkEventInfoSet | GUI.HTkUtils |
| mkExEq | CASL.AS_Basic_CASL |
| mkExist | CASL.AS_Basic_CASL |
| mkExplicitProductsT | Comorphisms.THFP2THF0 |
| mkExtendedEntity | OWL2.MS |
| mkExtSign | Common.ExtSign |
| mkExtSymbolRef | OMDoc.OMDocInterface |
| mKey | Modal.Parse_AS |
| mkFinder | Static.XSimplePath |
| mkFinderAux | Static.XSimplePath |
| mkFlatItem | Common.Item |
| mkFlatItemM | Common.Item |
| mkFlexibleNotation | OMDoc.Export |
| mkFloat | CASL_DL.PredefinedCASLAxioms |
| mkForall | |
| 1 (Function) | CASL.AS_Basic_CASL |
| 2 (Function) | HasCASL.AsUtils |
| mkForallRange | CASL.AS_Basic_CASL |
| mkFree | Isabelle.IsaConsts |
| mkFreeDefMor | Proofs.FreeDefLinks |
| mkFromOps | CSL.Parse_AS_Basic |
| mkFunArrType | HasCASL.AsUtils |
| mkFunArrTypeWithRange | HasCASL.AsUtils |
| mkFunKind | HasCASL.AsUtils |
| mkFunType | Isabelle.IsaConsts |
| mkGenName | Common.Id |
| mkGraphDG | Static.DevGraph |
| mkG_morphism | Logic.Grothendieck |
| mkHint | TopHybrid.Utilities |
| mkHistorySimpleSource | GUI.UDGUtils |
| mkHistorySource | GUI.UDGUtils |
| mkId | Common.Id |
| mkIdAxiom | Comorphisms.CASL2PCFOL |
| mkIdAxiomName | Comorphisms.CASL2PCFOL |
| mkIdComorphism | Logic.Comorphism |
| mkidS | CSL.Keywords |
| mkIdSets | CASL.MixfixParser |
| mkIdSquare | Logic.Grothendieck |
| mkImpl | |
| 1 (Function) | CASL.AS_Basic_CASL |
| 2 (Function) | Framework.WriteLogicUtils |
| mkImports | Framework.WriteLogicUtils |
| mkIncl | LF.Analysis |
| mkInclComorphism | Logic.Comorphism |
| mkIndName | Comorphisms.CommonLogic2IsabelleHOL |
| mkInfix | Common.Id |
| mkInjectivity | Comorphisms.CASL2PCFOL |
| mkInjectivityName | Comorphisms.CASL2PCFOL |
| mkInjEq | HasCASL.TypeRel |
| mkInjImpl | Comorphisms.CASL2PCFOL |
| mkInjOrProj | HasCASL.TypeRel |
| mkInjOrProjType | HasCASL.TypeRel |
| mkInjTerm | HasCASL.TypeRel |
| MkInsert | Static.XSimplePath |
| mkInsort | OMDoc.OMDocInterface |
| mkInst | Framework.WriteLogicUtils |
| mkIOSimpleSource | GUI.UDGUtils |
| mkIRI | Common.IRI |
| mkIsaConstIT | Isabelle.Translate |
| mkIsaConstT | Isabelle.Translate |
| mkIsaSet | Isabelle.IsaStrings |
| mkItem | Common.Item |
| mkItemM | Common.Item |
| mkItemMM | Common.Item |
| mkJArr | Common.Json |
| mkJBool | Common.Json |
| mkJNum | Common.Json |
| mkJObj | Common.Json |
| mkJPair | Common.Json |
| mkJStr | Common.Json |
| mkJunction | CASL.Simplify |
| mkKindedMixType | HasCASL.ParseTerm |
| MkLabel | Common.Doc |
| mkLazyType | HasCASL.AsUtils |
| mkLibName | Common.LibName |
| mkLibStr | Common.LibName |
| mkLid | Framework.WriteLogicUtils |
| mkLine | FreeCAD.Translator |
| mkLinkOrigin | OMDoc.Import |
| mkListType | Isabelle.IsaConsts |
| mkLogTerm | HasCASL.Builtin |
| mkMixfixRecord | CASL.ShowMixfix |
| mkMixfixTerm | HasCASL.ParseTerm |
| mkMixfixType | HasCASL.ParseTerm |
| mkModDecl | Framework.WriteLogicUtils |
| mkMods | Common.XmlDiff |
| MkMorphism | Common.DefaultMorphism |
| mkMorphism | |
| 1 (Function) | CommonLogic.Morphism |
| 2 (Function) | HasCASL.Le |
| mkNameAttr | Common.ToXml |
| mkNameJPair | Common.Json |
| mkNames | THF.Utils |
| mkNeg | CASL.AS_Basic_CASL |
| MkNetwork | Syntax.AS_Library |
| mkNiceDiag | Common.Result |
| mkNiceProverName | PGIP.Output.Formatting |
| mkNil | CommonLogic.PredefinedCASLAxioms |
| mkNName | CASL_DL.PredefinedCASLAxioms |
| mkNode | Isabelle.Isa2DG |
| mkNonEmptyAxiomName | Comorphisms.CASL2SubCFOL |
| mkNotation | OMDoc.Export |
| mkNotDefBotAxiomName | Comorphisms.CASL2SubCFOL |
| mkNSD | THF.HasCASL2THF0Buildins |
| mkNumAtt | FreeCAD.XMLPrinter |
| mkNumStr | Common.Id |
| mkNumVar | Common.Id |
| mkObjectJunction | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| mkObjEnt | OWL2.CASL2OWL |
| mkODoc | OWL2.XMLConversion |
| mkOMA | OMDoc.OMDocInterface |
| mkOMAE | OMDoc.OMDocInterface |
| mkOMATP | OMDoc.OMDocInterface |
| mkOMATTR | OMDoc.OMDocInterface |
| mkOMATTRE | OMDoc.OMDocInterface |
| mkOMB | OMDoc.OMDocInterface |
| mkOMBE | OMDoc.OMDocInterface |
| mkOMBIND | OMDoc.OMDocInterface |
| mkOMBINDE | OMDoc.OMDocInterface |
| mkOMBVAR | OMDoc.OMDocInterface |
| mkOMBWords | OMDoc.OMDocInterface |
| mkOMBWordsE | OMDoc.OMDocInterface |
| mkOMComment | OMDoc.OMDocInterface |
| mkOMCommented | OMDoc.OMDocInterface |
| mkOMDocRef | OMDoc.OMDocInterface |
| mkOME | OMDoc.OMDocInterface |
| mkOMEE | OMDoc.OMDocInterface |
| mkOMF | OMDoc.OMDocInterface |
| mkOMFE | OMDoc.OMDocInterface |
| mkOMI | OMDoc.OMDocInterface |
| mkOMIE | OMDoc.OMDocInterface |
| mkOMOBJ | OMDoc.OMDocInterface |
| mkOMR | OMDoc.OMDocInterface |
| mkOMRE | OMDoc.OMDocInterface |
| MkOms | Syntax.AS_Library |
| mkOMS | OMDoc.OMDocInterface |
| mkOMSE | OMDoc.OMDocInterface |
| mkOMSimpleVar | OMDoc.OMDocInterface |
| mkOMSimpleVarE | OMDoc.OMDocInterface |
| mkOMSTR | OMDoc.OMDocInterface |
| mkOMSTRE | OMDoc.OMDocInterface |
| mkOMVar | OMDoc.OMDocInterface |
| mkOMVarE | OMDoc.OMDocInterface |
| mkOMVSVar | OMDoc.OMDocInterface |
| mkOMVSVarE | OMDoc.OMDocInterface |
| mkOops | Isabelle.IsaSign |
| mkOp | CSL.ASUtils |
| mkOpPartial | Maude.Symbol |
| mkOpTerm | HasCASL.AsUtils |
| mkOptionType | Isabelle.IsaConsts |
| mkOpTotal | Maude.Symbol |
| mkOverloadedId | CASL.Disambiguate |
| mkOWLDeclaration | OWL2.Propositional2OWL2 |
| mkPartial | CASL.Sign |
| mkPreAlphabetConstructor | CspCASLProver.Consts |
| mkPreAlphabetConstructorOp | CspCASLProver.Consts |
| mkPrecIntMap | Common.Prec |
| mkPredefOp | CSL.ASUtils |
| mkPredication | CASL.AS_Basic_CASL |
| mkPresentation | OMDoc.OMDocInterface |
| mkPresentationS | OMDoc.OMDocInterface |
| mkPriorityAttr | Common.ToXml |
| mkPriorityJPair | Common.Json |
| mkProcNameConstructor | CspCASLProver.Consts |
| mkProductType | HasCASL.AsUtils |
| mkProductTypeWithRange | HasCASL.AsUtils |
| mkProgEq | HasCASL.ProgEq |
| mkProjAxiom | Comorphisms.CASL2PCFOL |
| mkProjInjAxiom | Comorphisms.CASL2PCFOL |
| mkProjInjName | Comorphisms.CASL2PCFOL |
| mkProjName | Comorphisms.CASL2PCFOL |
| mkProver | |
| 1 (Function) | TPTP.Prover.Common |
| 2 (Function) | PGIP.Output.Provers |
| mkProverTemplate | Logic.Prover |
| mkProverTemplateWithLemmaExport | CSL.ReduceProve |
| mkQName | Isabelle.IsaSign |
| mkQualName | Common.LibName |
| mkQualOp | |
| 1 (Function) | CASL.AS_Basic_CASL |
| 2 (Function) | HasCASL.Builtin |
| mkQualPred | CASL.AS_Basic_CASL |
| mkQuantEq | HasCASL.ProgEq |
| mkQuantifier | Comorphisms.HolLight2Isabelle |
| mkRanged | VSE.As |
| mkRead | LF.Analysis |
| mkRecognizer | OMDoc.OMDocInterface |
| mkRectangle | FreeCAD.Translator |
| mkRefSigFromUnit | Static.DevGraph |
| mkRefuteSen | Isabelle.IsaSign |
| mkRel | CASL.AS_Basic_CASL |
| mkRelation | CASL.Simplify |
| mkRemoveChange | Static.XSimplePath |
| mkSDomType | Isabelle.IsaConsts |
| mkSelectCmd | Interfaces.Command |
| mkSen | Isabelle.IsaSign |
| mkSenAux | Isabelle.IsaSign |
| mkSig | LF.Analysis |
| mkSimpleId | Common.Id |
| mkSimpleName | OMDoc.DataTypes |
| mkSimpleQualName | OMDoc.DataTypes |
| mkSingleSubst | HasCASL.Unify |
| mkSingleTermF | CASL.Utils |
| mkSkolemFunction | Comorphisms.CASL2Skolem |
| mkSmartNotation | OMDoc.Export |
| mkSortBarAbsOp | CspCASLProver.Consts |
| mkSortBarAbsString | CspCASLProver.Consts |
| mkSortBarRepOp | CspCASLProver.Consts |
| mkSortBarString | CspCASLProver.Consts |
| mkSortBarType | CspCASLProver.Consts |
| mkSortDef | OMDoc.OMDocInterface |
| mkSortDefE | OMDoc.OMDocInterface |
| mkSorted | CASL.Overload |
| mkSortedTerm | CASL.CCC.TermFormula |
| mkSortFlatString | CspCASLProver.Consts |
| mkSortGenName | CASL.Sign |
| mkSort_gen_ax | CASL.AS_Basic_CASL |
| mkSPCustomSymbol | SoftFOL.Sign |
| mkStatSymbItems | |
| 1 (Function) | CommonLogic.Analysis |
| 2 (Function) | NeSyPatterns.Analysis |
| 3 (Function) | Propositional.Analysis |
| 4 (Function) | QBF.Analysis |
| mkStatSymbMapItem | |
| 1 (Function) | CommonLogic.Analysis |
| 2 (Function) | NeSyPatterns.Analysis |
| 3 (Function) | Propositional.Analysis |
| 4 (Function) | QBF.Analysis |
| mkStEq | CASL.AS_Basic_CASL |
| mkSTerm | CASL.CCC.TermFormula |
| mkStrictProduct | Isabelle.IsaConsts |
| mkStrictSum | Isabelle.IsaConsts |
| mkSType | Isabelle.IsaConsts |
| mkSTypeT | Isabelle.IsaConsts |
| mkSubst | HasCASL.Unify |
| mkSubtTerm | HasCASL.TypeRel |
| mkSymbol | OMDoc.OMDocInterface |
| mkSymbolE | OMDoc.OMDocInterface |
| mkSymbolMap | Comorphisms.HasCASL2THFP_P |
| mkSymbolRef | OMDoc.OMDocInterface |
| mkTerm | HasCASL.Builtin |
| mkTermInst | HasCASL.Builtin |
| mkText | Common.ToXml |
| mkTheoryFileName | |
| 1 (Function) | TIP.Prover.Common |
| 2 (Function) | TPTP.Prover.Common |
| mkTheoryMapping | Logic.Comorphism |
| mkThyNameAlphabet | CspCASLProver.Consts |
| mkThyNameDataEnc | CspCASLProver.Consts |
| mkThyNameIntThms | CspCASLProver.Consts |
| mkThyNamePreAlphabet | CspCASLProver.Consts |
| mkTokPos | Common.Id |
| mkTop | CASL.Sublogic |
| mkTotal | CASL.Sign |
| mkTotalityAxiomName | Comorphisms.CASL2SubCFOL |
| mkTotOpType | CASL.Sign |
| mkTransAxiom | Comorphisms.CASL2PCFOL |
| mkTransAxiomName | Comorphisms.CASL2PCFOL |
| mkTupleTerm | HasCASL.AsUtils |
| mkType | OMDoc.OMDocInterface |
| mkTypeAppl | HasCASL.AsUtils |
| mkTypeArg | HasCASL.TypeRel |
| mkTypeConstrAppl | HasCASL.TypeMixAna |
| mkTypedEqTerm | HasCASL.TypeRel |
| mkTypedTerm | HasCASL.TypeRel |
| mkTypesName | THF.Translate |
| mkUniqueInjName | Common.Id |
| mkUniqueName | Common.Id |
| mkUniqueProjName | Common.Id |
| MkUpdate | Static.XSimplePath |
| mkUpdateChange | Static.XSimplePath |
| mkUsableConsChecker | Logic.Prover |
| mkUsableProver | Logic.Prover |
| mkUse | OMDoc.OMDocInterface |
| mkUserdefOp | CSL.ASUtils |
| mkVar | |
| 1 (Function) | CSL.ASUtils |
| 2 (Function) | Maude.AS_Maude |
| mkVarDecl | |
| 1 (Function) | CASL.AS_Basic_CASL |
| 2 (Function) | HasCASL.DataAna |
| mkVarDeclStr | CASL.AS_Basic_CASL |
| mkVarTerm | CASL.AS_Basic_CASL |
| mkVName | Isabelle.IsaConsts |
| mkVseProofStatus | VSE.Prove |
| mkXExEq | Comorphisms.CASL2PCFOL |
| mkXLink | Static.XGraph |
| mkXNode | Static.XGraph |
| mkXQName | Common.XmlDiff |
| mlFileS | Isabelle.IsaConsts |
| mLineAnnos | Common.AnnoState |
| mlS | Isabelle.IsaConsts |
| mm | GUI.HTkUtils |
| mmaps | |
| 1 (Function) | OWL2.Morphism |
| 2 (Function) | RDF.Morphism |
| MMiSSOntology | Taxonomy.MMiSSOntology |
| mmtBase | LF.Twelf2GR |
| mmtMod | LF.Twelf2GR |
| mmtRes | MMT.Hets2mmt |
| MnchstrSntx | OWL2.PrintMS |
| Mod | CommonLogic.AS_CommonLogic |
| Mod1 | GUI.HTkUtils |
| Mod2 | GUI.HTkUtils |
| Mod3 | GUI.HTkUtils |
| Mod4 | GUI.HTkUtils |
| Mod5 | GUI.HTkUtils |
| Modal | |
| 1 (Type/Class) | Modal.Logic_Modal |
| 2 (Data Constructor) | Modal.Logic_Modal |
| modal | PGIP.Server.Examples |
| Modal2CASL | |
| 1 (Type/Class) | Comorphisms.Modal2CASL |
| 2 (Data Constructor) | Comorphisms.Modal2CASL |
| ModalFORMULA | Modal.Logic_Modal |
| modalFormula | Modal.Parse_AS |
| modalities | ExtModal.ExtModalSign |
| modalitiesS | Common.Keywords |
| MODALITY | |
| 1 (Type/Class) | CoCASL.AS_CoCASL |
| 2 (Type/Class) | ExtModal.AS_ExtModal |
| 3 (Type/Class) | Hybrid.AS_Hybrid |
| 4 (Type/Class) | Modal.AS_Modal |
| 5 (Type/Class) | TopHybrid.AS_TopHybrid |
| modality | |
| 1 (Function) | CoCASL.Parse_AS |
| 2 (Function) | Hybrid.Parse_AS |
| 3 (Function) | Modal.Parse_AS |
| modalityS | Common.Keywords |
| ModalMor | Modal.Logic_Modal |
| ModalSign | |
| 1 (Type/Class) | Modal.ModalSign |
| 2 (Data Constructor) | Modal.ModalSign |
| MODAL_EMBEDDING | |
| 1 (Type/Class) | Modifications.ModalEmbedding |
| 2 (Data Constructor) | Modifications.ModalEmbedding |
| modal_reserved_words | Modal.Parse_AS |
| ModDefn | |
| 1 (Type/Class) | ExtModal.AS_ExtModal |
| 2 (Data Constructor) | ExtModal.AS_ExtModal |
| Mode | Common.Lib.Pretty |
| mode | Common.Lib.Pretty |
| Model | |
| 1 (Type/Class) | CASL.CompositionTable.CompositionTable |
| 2 (Data Constructor) | CASL.CompositionTable.CompositionTable |
| 3 (Type/Class) | CSMOF.As |
| 4 (Data Constructor) | CSMOF.As |
| model | CSMOF.As |
| modelC | Framework.AS |
| modelCheck | CASL.CompositionTable.ModelChecker |
| modelK | CSMOF.XMLKeywords |
| modelName | CSMOF.As |
| modelNameK | CSMOF.XMLKeywords |
| Models | |
| 1 (Type/Class) | CASL.CompositionTable.CompositionTable |
| 2 (Data Constructor) | CASL.CompositionTable.CompositionTable |
| models | Framework.AS |
| modelSparQ | Driver.Options |
| modelsS | Common.Keywords |
| modelString1 | CASL.CompositionTable.CompositionTable |
| modelString2 | CASL.CompositionTable.CompositionTable |
| modelType | CSMOF.As |
| modEntity | |
| 1 (Function) | OWL2.Sign |
| 2 (Function) | RDF.StaticAnalysis |
| ModExp | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Data Constructor) | Maude.AS_Maude |
| ModForm | ExtModal.AS_ExtModal |
| ModId | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Data Constructor) | Maude.AS_Maude |
| modies | |
| 1 (Function) | Hybrid.HybridSign |
| 2 (Function) | Modal.ModalSign |
| 3 (Function) | TopHybrid.TopHybridSign |
| Modification | |
| 1 (Data Constructor) | Logic.Modification |
| 2 (Type/Class) | Logic.Modification |
| modifications | Logic.Grothendieck |
| Modifier | Isabelle.IsaSign |
| modify | |
| 1 (Function) | Common.Lib.State |
| 2 (Function) | GUI.UDGUtils |
| modifyCtx | Static.DevGraph |
| ModifyHasDef | GUI.UDGUtils |
| ModItem | ExtModal.AS_ExtModal |
| modItemStatAna | ExtModal.StatAna |
| ModName | Maude.Language |
| ModOp | |
| 1 (Data Constructor) | ExtModal.AS_ExtModal |
| 2 (Type/Class) | ExtModal.AS_ExtModal |
| modPrec | ExtModal.Print_AS |
| modPredType | CASL.World |
| modS | Isabelle.IsaConsts |
| modToTerm | Modal.Utils |
| modularS | CSL.Keywords |
| MODULE | |
| 1 (Type/Class) | CommonLogic.AS_CommonLogic |
| 2 (Type/Class) | LF.Sign |
| Module | |
| 1 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 2 (Type/Class) | Maude.AS_Maude |
| 3 (Data Constructor) | Maude.AS_Maude |
| moduleQN | LF.Twelf2GR |
| moduleS | Common.Keywords |
| Module_defn | Syntax.AS_Library |
| MODULE_TYPE | Syntax.AS_Library |
| Module_type | Syntax.AS_Library |
| modV | Isabelle.IsaConsts |
| Mod_ex | CommonLogic.AS_CommonLogic |
| mod_map | ExtModal.MorphismExtension |
| MonadicHasCASL2IsabelleHOL | |
| 1 (Type/Class) | Comorphisms.MonadicHasCASLTranslation |
| 2 (Data Constructor) | Comorphisms.MonadicHasCASLTranslation |
| monadifyWithError | GUI.HTkUtils |
| MonadResult | Common.ResultT |
| MonadWithError | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| Mono | Common.Consistency |
| MonoChromeMode | GUI.HTkUtils |
| monos | HasCASL.TypeRel |
| MonoSpace | GUI.HTkUtils |
| monotonicities | CASL.Monoton |
| monoType | HasCASL.VarDecl |
| mOntologyIRI | OWL2.AS |
| mOntologyVersion | OWL2.AS |
| Mor | |
| 1 (Type/Class) | TopHybrid.AS_TopHybrid |
| 2 (Data Constructor) | TopHybrid.AS_TopHybrid |
| MorId | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| morMap | Static.DevGraph |
| morMapI | Static.DevGraph |
| morMapSublogicSen | Logic.Morphism |
| morMapSublogicSign | Logic.Morphism |
| morMap_morphism | Logic.Morphism |
| morMap_sentence | Logic.Morphism |
| morMap_sign | Logic.Morphism |
| morMap_sign_symbol | Logic.Morphism |
| morphBase | LF.Morphism |
| MorphExtension | |
| 1 (Type/Class) | ExtModal.MorphismExtension |
| 2 (Data Constructor) | ExtModal.MorphismExtension |
| Morphism | |
| 1 (Type/Class) | CSL.Morphism |
| 2 (Data Constructor) | CSL.Morphism |
| 3 (Type/Class) | CASL.Morphism |
| 4 (Data Constructor) | CASL.Morphism |
| 5 (Type/Class) | CommonLogic.Morphism |
| 6 (Data Constructor) | CommonLogic.Morphism |
| 7 (Type/Class) | DFOL.Morphism |
| 8 (Data Constructor) | DFOL.Morphism |
| 9 (Type/Class) | HasCASL.Le |
| 10 (Data Constructor) | HasCASL.Le |
| 11 (Type/Class) | LF.Morphism |
| 12 (Data Constructor) | LF.Morphism |
| 13 (Type/Class) | Maude.Morphism |
| 14 (Data Constructor) | Maude.Morphism |
| 15 (Type/Class) | OMDoc.OMDocInterface |
| 16 (Data Constructor) | OMDoc.OMDocInterface |
| 17 (Type/Class) | NeSyPatterns.Morphism |
| 18 (Data Constructor) | NeSyPatterns.Morphism |
| 19 (Type/Class) | Propositional.Morphism |
| 20 (Data Constructor) | Propositional.Morphism |
| 21 (Type/Class) | QBF.Morphism |
| 22 (Data Constructor) | QBF.Morphism |
| 23 (Type/Class) | QVTR.Logic_QVTR |
| 24 (Data Constructor) | Logic.Morphism |
| 25 (Type/Class) | Logic.Morphism |
| 26 (Type/Class) | TPTP.Morphism |
| 27 (Type/Class) | Framework.Logic_Framework |
| 28 (Type/Class) | CSMOF.Logic_CSMOF |
| 29 (Type/Class) | Adl.Logic_Adl |
| 30 (Type/Class) | Temporal.Morphism |
| 31 (Data Constructor) | Temporal.Morphism |
| morphism2TokenMap | NeSyPatterns.Morphism |
| morphismBase | OMDoc.OMDocInterface |
| MorphismCom | Framework.Logic_Framework |
| MorphismExtension | CASL.Morphism |
| morphismHiding | OMDoc.OMDocInterface |
| morphismId | OMDoc.OMDocInterface |
| morphismRequations | OMDoc.OMDocInterface |
| morphisms | Logic.Grothendieck |
| MorphismTHF | THF.Sign |
| morphismToSymbMap | |
| 1 (Function) | CASL.Morphism |
| 2 (Function) | HasCASL.Morphism |
| morphismUnion | |
| 1 (Function) | CSL.Morphism |
| 2 (Function) | CASL.Morphism |
| 3 (Function) | CommonLogic.Morphism |
| 4 (Function) | HasCASL.Morphism |
| 5 (Function) | OWL2.Morphism |
| 6 (Function) | NeSyPatterns.Morphism |
| 7 (Function) | Propositional.Morphism |
| 8 (Function) | QBF.Morphism |
| morphismUnionM | CASL.Morphism |
| morphism_union | Logic.Logic |
| MorphMap | |
| 1 (Data Constructor) | OWL2.Function |
| 2 (Type/Class) | OWL2.Function |
| 3 (Type/Class) | RDF.Function |
| morphModule | LF.Morphism |
| morphName | LF.Morphism |
| MORPHS | LF.Twelf2GR |
| morphTransl | DFOL.Comorphism |
| MorphType | LF.Morphism |
| morphType | LF.Morphism |
| morphUnion | DFOL.Morphism |
| MORPH_NAME | Framework.AS |
| morSourceLogic | Logic.Morphism |
| morSourceSublogic | Logic.Morphism |
| morTargetLogic | Logic.Morphism |
| morTargetSublogic | Logic.Morphism |
| morToSExprs | CASL.ToSExpr |
| mostRight | Common.Lib.Rel |
| mostSyms | HasCASL.PrintLe |
| mostSymsOf | Logic.Logic |
| Motion | GUI.HTkUtils |
| moveAnnos | Syntax.Print_AS_Structured |
| moveDown | Static.XSimplePath |
| moveItem | GUI.HTkUtils |
| moveNegIn | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| moveto | GUI.HTkUtils |
| moveUp | Static.XSimplePath |
| moveVSEFiles | VSE.Prove |
| Mpm | SoftFOL.Sign |
| mr_name | Static.XGraph |
| mr_source | Static.XGraph |
| MS | OWL2.AS |
| ms2vcs | Maude.PreComorphism |
| MSaxState | Common.SAX |
| Msg | Maude.AS_Maude |
| msgS | CSL.Keywords |
| msgs | |
| 1 (Function) | Adl.StatAna |
| 2 (Function) | PGIP.XMLstate |
| 3 (Function) | TopHybrid.Utilities |
| msgsList | TopHybrid.Utilities |
| mshellS | CSL.Keywords |
| mShowGraph | GUI.ShowLibGraph |
| MSign | Modal.Logic_Modal |
| msource | |
| 1 (Function) | CASL.Morphism |
| 2 (Function) | HasCASL.Le |
| msplit | Common.LogicT |
| mStuff | Maude.Parse |
| mSym2caslId | Maude.PreComorphism |
| mtarget | |
| 1 (Function) | CASL.Morphism |
| 2 (Function) | HasCASL.Le |
| MText | OMDoc.OMDocInterface |
| MTextOM | OMDoc.OMDocInterface |
| MTextPhrase | OMDoc.OMDocInterface |
| MTextTerm | OMDoc.OMDocInterface |
| MTextText | OMDoc.OMDocInterface |
| MulExp | Adl.As |
| MulOp | Adl.As |
| MultConstr | |
| 1 (Type/Class) | CSMOF.Sign |
| 2 (Data Constructor) | CSMOF.Sign |
| multExpr | Common.XPath |
| multiOpt | Framework.WriteLogicUtils |
| Multiple | GUI.HTkUtils |
| multiplicitiesS | CSL.Keywords |
| MultiplicityElement | |
| 1 (Type/Class) | CSMOF.As |
| 2 (Data Constructor) | CSMOF.As |
| multiplicityElement | CSMOF.As |
| multiplicityElementSubClasses | CSMOF.As |
| multOps | Common.XPath |
| muS | ExtModal.Keywords |
| MWCalculus | SoftFOL.MathServParsing |
| MWFoAtpResult | |
| 1 (Type/Class) | SoftFOL.MathServParsing |
| 2 (Data Constructor) | SoftFOL.MathServParsing |
| MWFormalProof | SoftFOL.MathServParsing |
| mwIRI | OWL2.XMLConversion |
| mwNameIRI | OWL2.XMLConversion |
| mwSimpleIRI | OWL2.XMLConversion |
| MWStatus | |
| 1 (Type/Class) | SoftFOL.MathServParsing |
| 2 (Data Constructor) | SoftFOL.MathServParsing |
| mwString | OWL2.XMLConversion |
| mwText | OWL2.XMLConversion |
| MWTimeResource | |
| 1 (Type/Class) | SoftFOL.MathServParsing |
| 2 (Data Constructor) | SoftFOL.MathServParsing |
| myChoice | HasCASL.ParseTerm |
| MyData | Common.Data |
| myDataToXml | Common.ToXml |
| myEqId | THF.Translate |
| myFmap | Comorphisms.HasCASL2THFP_P |
| myGetAppl | Comorphisms.HasCASL2THFP_P |
| myGetChar | VSE.Prove |
| myLookAhead | Common.Lexer |
| M_BASIC_ITEM | Modal.AS_Modal |
| M_BASIC_SPEC | Modal.AS_Modal |
| M_FORMULA | Modal.AS_Modal |
| M_SIG_ITEM | Modal.AS_Modal |