Hets - the Heterogeneous Tool Set

Index - M

MGUI.HTkUtils
macroSCSL.Keywords
mainMain
MainClassesOWL2.AS
mainClassesSOWL2.ASKeywords
MainHCPairs_thyIsabelle.IsaSign
MainHC_thyIsabelle.IsaSign
mainSIsabelle.IsaStrings
MaintainsAdl.As
mainvarSCSL.Keywords
Main_thyIsabelle.IsaSign
make1OWL2.XMLConversion
make2OWL2.XMLConversion
makeApplicationDFOL.Comorphism
makeArgNamesDFOL.Comorphism
makeAttrFreeCAD.XMLPrinter
makeBOElemFreeCAD.XMLPrinter
makeCommentOMDoc.XmlInterface
makeDataSelEqsHasCASL.DataAna
makeDefaultLogic.Logic
makeDiagramProofs.ComputeColimit
makeDiagramAuxProofs.ComputeColimit
makeDisjointCASL.StaticAna
makeDisjSubsortsCASL.StaticAna
makeDisjToSortCASL.StaticAna
makeElementOWL2.XMLConversion
makeElementWith1OWL2.XMLConversion
makeEquivMonoHasCASL.TypeRel
makeEquivMonosHasCASL.TypeRel
makeExistsDFOL.Comorphism
makeExplicitProductsComorphisms.THFP2THF0
makeExtSignLogic.ExtSign
makeForAllComorphisms.HolLight2Isabelle
makeForallDFOL.Comorphism
makeFormEntryGUI.HTkUtils
makeFormStringGUI.HTkUtils
makeFormStringIOGUI.HTkUtils
makeGoalTIP.Prover.Common
makeGraphGUI.GraphAbstraction
makegraphTaxonomy.AbstractGraphView
makegraphExtTaxonomy.AbstractGraphView
makeImportOMDoc.Export
makeImportMappingOMDoc.Export
makeInjectiveCASL.StaticAna
makeInjOrProjCASL.Inject
makeLogicItemSyntax.AS_Library
makeMonomorphHasCASL.VarDecl
makeMonosHasCASL.TypeRel
makeMorphismOMDoc.Export
makeMorphismEntryOMDoc.Export
makeNameStatic.DgUtils
makeNamedCommon.AS_Annotation
makeNamedFormLF.Analysis
makeNamedFormsLF.Analysis
makeNamedSenCommon.AS_Annotation
makeNamedSentenceHolLight.HolLight2DG
makeObjElemFreeCAD.XMLPrinter
makeOptsDriver.Options
makeOWLPredefMapsOWL2.AS
makePartialCASL.Sign
makePlaceElemFreeCAD.XMLPrinter
makePredefDataPropOWL2.AS
makePredefObjPropOWL2.AS
makePredefOWLAnnoPropOWL2.AS
makePredefRDFSAnnoPropOWL2.AS
makePredicationDFOL.Comorphism
makeQNOWL2.XMLConversion
makeRelativeDescCommon.Utils
makeRenamesComorphisms.CommonLogic2IsabelleHOL
makeRgNameStatic.DgUtils
makeRules 
1 (Function)CASL.MixfixParser
2 (Function)HasCASL.MixAna
makeSelFormsCASL.StaticAna
makeSigSenLF.Analysis
makeSpecSyntax.AS_Structured
makeSpecInstSyntax.AS_Structured
makeSpecItemSyntax.AS_Library
makeSymbMapLF.Analysis
makeTypeArgsHasCASL.ParseTerm
makeTypeHypDFOL.Comorphism
makeTypeHypsDFOL.Comorphism
makeTypesAndVarsDFOL.Comorphism
makeUndefFormCASL.StaticAna
makeUnitCASL.StaticAna
makeVarDFOL.Comorphism
makeVarDeclsHasCASL.ParseTerm
makeXsdMapOWL2.AS
ManchesterDriver.Options
manualPremisesPGIP.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
ManualPremiseSelectionKeyPersistence.Schema
ManyExtModal.Sublogic
manyNOWL2.ParseAS
MapGUI.HTkUtils
map 
1 (Function)Common.Lib.MapSet
2 (Function)Common.Lib.Rel
3 (Function)Common.Lib.SizedList
4 (Function)Common.OrderedMap
map1GUI.UDGUtils
map1IOGUI.UDGUtils
map2GUI.UDGUtils
mapAccumLCMCommon.Utils
mapAccumLMCommon.Utils
mapAltHasCASL.Morphism
mapAnCASL.StaticAna
mapAnMCommon.AS_Annotation
mapAnMaybeHasCASL.TypeDecl
mapArgsHasCASL.Unify
mapAsFunctionMaude.Util
mapAsSymbolMaude.Meta.AsSymbol, Maude.Meta
mapAxiomItemsOWL2.Propositional2OWL2
mapBasicItemsOWL2.Propositional2OWL2
mapBasicSpecOWL2.Propositional2OWL2
mapCASLMorCASL.Morphism
mapClausePropositional.Conversions
mapConstrCASL.MapSentence
mapCoRecordCoCASL.StatAna
mapC_FORMULACoCASL.StatAna
mapDataEntryHasCASL.Morphism
mapDecoratedOpSymbCASL.MapSentence
mapDlformulaVSE.Ana
mapEMformExtModal.MorphismExtension
mapEMframeExtModal.MorphismExtension
mapEMmodExtModal.MorphismExtension
mapEMprefixExtModal.MorphismExtension
mapEntryOMDoc.Export
mapEqHasCASL.MapTerm
mapExprCSL.ASUtils
mapExtFormExtModal.StatAna
mapExtFrameFormExtModal.StatAna
mapExtModExtModal.StatAna
mapExtPrefixExtModal.StatAna
mapForm 
1 (Function)CASL.Sign
2 (Function)GUI.HTkUtils
mapFormIOGUI.HTkUtils
mapFORMULACASL.Sign
mapFormula 
1 (Function)CASL.ShowMixfix
2 (Function)OWL2.Propositional2OWL2
mapFplSenFpl.Morphism
mapFunSymHasCASL.Morphism
mapGenVarHasCASL.MapTerm
mapG_theoryStatic.GTheory
mapHolSenComorphisms.HolLight2Isabelle
mapIOSeqGUI.UDGUtils
mapKindHasCASL.AsUtils
mapKindIHasCASL.Morphism
mapKindsHasCASL.Morphism
mapKindsOfTypeHasCASL.Morphism
mapKindVHasCASL.AsUtils
mapLabelsMaude.Meta.HasLabels, Maude.Meta
mapMakeFormEntryGUI.HTkUtils
mapMarkedTheoryLogic.Comorphism
mapMathServResponseSoftFOL.MathServMapping
mapMaudeFreenessComorphisms.Maude2CASL
mapMenuPrimGUI.UDGUtils
mapMenuPrim'GUI.UDGUtils
mapMinCommon.GraphAlgo
mapMMenuPrimGUI.UDGUtils
mapMMenuPrim'GUI.UDGUtils
mapMonotonicCommon.Lib.MapSet
mapMor 
1 (Function)Propositional.Prop2CASLHelpers
2 (Function)Comorphisms.CASL2HasCASL
mapMorphFormCASL.MapSentence
mapMorphism 
1 (Function)CASL.MapSentence
2 (Function)LF.ComorphFram
3 (Function)Maude.PreComorphism
mapNameMaude.Meta.HasName, Maude.Meta
mapNamedCommon.AS_Annotation
mapNamedMCommon.AS_Annotation
mapNamedSenComorphisms.HolLight2Isabelle
mapOpAttrHasCASL.MapTerm
mapOpInfoHasCASL.MapTerm
mapOps 
1 (Function)Maude.Meta.HasOps, Maude.Meta
2 (Function)Comorphisms.HolLight2Isabelle
mapOpSymCASL.Morphism
mapOpSymbCASL.MapSentence
mapOpTypeCASL.Morphism
mappedChanSymCspCASL.SymMapAna
mappedProcSymCspCASL.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
mappingStatic.XGraph
MappingConservativityStatusIdPersistence.Schema
mappingConservativityStatusIdPersistence.Schema
MappingDisplayNamePersistence.Schema
mappingDisplayNamePersistence.Schema
MappingFreenessParameterLanguageIdPersistence.Schema
mappingFreenessParameterLanguageIdPersistence.Schema
MappingFreenessParameterOMSIdPersistence.Schema
mappingFreenessParameterOMSIdPersistence.Schema
MappingId 
1 (Type/Class)Persistence.Schema
2 (Data Constructor)Persistence.Schema
MappingKeyPersistence.Schema
MappingNamePersistence.Schema
mappingNamePersistence.Schema
MappingOrigin 
1 (Type/Class)Persistence.Schema.MappingOrigin
2 (Data Constructor)Persistence.Schema
mappingOriginPersistence.Schema
MappingPendingPersistence.Schema
mappingPendingPersistence.Schema
mappingsPGIP.GraphQL.Result.SignatureMorphism
MappingSignatureMorphismIdPersistence.Schema
mappingSignatureMorphismIdPersistence.Schema
MappingSourceIdPersistence.Schema
mappingSourceIdPersistence.Schema
mappingsSourcePGIP.GraphQL.Result.OMS
mappingsTargetPGIP.GraphQL.Result.OMS
MappingTargetIdPersistence.Schema
mappingTargetIdPersistence.Schema
mappingToResultPGIP.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
mapPredDeclOWL2.Propositional2OWL2
mapPredSymCASL.Morphism
mapPredTypeCASL.Morphism
mapProcProfileCspCASL.Morphism
mapProgVSE.Fold
mapProverResultSoftFOL.MathServMapping
mapPrSymbCASL.MapSentence
mapRCommon.Result
MapRecHasCASL.FoldTerm
mapRec 
1 (Function)HasCASL.FoldTerm
2 (Function)VSE.Fold
mapRecord 
1 (Function)CASL.Fold
2 (Function)Propositional.Fold
3 (Function)QBF.Tools
mapRTNodesStatic.DgUtils
mapSelHasCASL.Morphism
MapSenCASL.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
MapSetCommon.Lib.MapSet
mapSetCommon.Lib.MapSet
mapSetToListCASL.Sign
mapSig 
1 (Function)Propositional.Prop2CASLHelpers
2 (Function)Comorphisms.CommonLogic2IsabelleHOL
3 (Function)Comorphisms.CASL2HasCASL
mapSigAuxComorphisms.CASL2HasCASL
mapSign 
1 (Function)OWL2.Propositional2OWL2
2 (Function)Comorphisms.HolLight2Isabelle
3 (Function)OWL2.CASL2OWL
4 (Function)Comorphisms.CSMOF2CASL
mapSortCASL.Morphism
mapSortGenAxOWL2.CASL2OWL
mapSortsMaude.Meta.HasSorts, Maude.Meta
mapSrtCASL.MapSentence
mapStateCommon.Lib.State
mapsToCommon.Keywords
mapstoCommon.Doc
mapSub 
1 (Function)Propositional.Prop2CASLHelpers
2 (Function)OWL2.Propositional2OWL2
mapSublogicLogic.Comorphism
mapSym 
1 (Function)Propositional.Prop2CASLHelpers
2 (Function)Comorphisms.CASL2HasCASL
mapSymAuxComorphisms.CASL2HasCASL
mapSymbLF.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
mapThSensValueMLogic.Prover
mapToGoalStatusSoftFOL.MathServMapping
MapTypeTHF.Cons
mapTypeHasCASL.Le
mapTypeArgHasCASL.Morphism
mapTypeEHasCASL.Morphism
mapTypeOfSchemeHasCASL.As
mapTypeRecHasCASL.FoldType
mapTypesComorphisms.HolLight2Isabelle
mapTypeSchemeHasCASL.Morphism
mapValueLogic.Prover
mapVarHasCASL.MapTerm
mapVarKindHasCASL.Morphism
mapVarsCASL.MapSentence
mapWithErrorGUI.HTkUtils
mapWithError'GUI.HTkUtils
mapWithErrorIOGUI.HTkUtils
mapWithErrorIO'GUI.HTkUtils
mapWithKeyCommon.OrderedMap
map_C_FORMULACoCASL.Logic_CoCASL
map_H_FORMULAHybrid.Logic_Hybrid
map_morphismLogic.Comorphism
map_M_FORMULAModal.Logic_Modal
map_relRelationalScheme.AS
map_senLogic.Logic
map_sentenceLogic.Comorphism
map_signLogic.Comorphism
map_symbolLogic.Comorphism
map_theoryLogic.Comorphism
Mark 
1 (Type/Class)GUI.HTkUtils
2 (Data Constructor)GUI.HTkUtils
markAsAxiomLogic.Prover
markAsGoalLogic.Prover
markFreeStatic.ComputeTheory
markHidingStatic.ComputeTheory
markNodeConsistencyStatic.DevGraph
markNodeConsistentStatic.DevGraph
markNodeInconsistentStatic.DevGraph
markProvedProofs.AbstractState
markSenCommon.AS_Annotation
markSimpIsabelle.MarkSimp
markThSimpIsabelle.MarkSimp
markupsIsabelle.IsaConsts
massSCSL.Keywords
MatchTIP.AbsTIP
matchHasCASL.Unify
MatchCondMaude.AS_Maude
matchDiagramStatic.ArchDiagram
matchElemsCommon.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
matchesContextStatic.DevGraph
matchesSymOWL2.Morphism
matchProcTypesCspCASL.SymMapAna
matchSCSL.Keywords
matchSymbHasCASL.RawSym
mateigenSCSL.Keywords
mathServBrokerSoftFOL.ProveMathServ
mathServBrokerCMDLautomaticBatchSoftFOL.ProveMathServ
MathServCall 
1 (Type/Class)SoftFOL.MathServParsing
2 (Data Constructor)SoftFOL.MathServParsing
mathServOperationSoftFOL.MathServParsing
MathServOperationTypesSoftFOL.MathServParsing
MathServResponse 
1 (Type/Class)SoftFOL.MathServParsing
2 (Data Constructor)SoftFOL.MathServParsing
mathServServiceSoftFOL.MathServParsing
MathServServicesSoftFOL.MathServParsing
matriArgComorphisms.HasCASL2IsabelleHOL
matricizeComorphisms.HasCASL2IsabelleHOL
matriPEqComorphisms.HasCASL2IsabelleHOL
Matrix33 
1 (Type/Class)FreeCAD.As
2 (Data Constructor)FreeCAD.As
matrixSCSL.Keywords
matSCSL.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
maude2caslMaude.PreComorphism
MaudeInDriver.Options
maudeOpMap2CASLOpMapMaude.PreComorphism
maudeParserMaude.Language
maudePutStrLnMaude.Shellout
maudeSCommon.Keywords
maudeSb2caslSbMaude.PreComorphism
maudeSbs2caslSbsMaude.PreComorphism
maudeSort2caslIdMaude.PreComorphism
maudeSym2CASLOpMaude.PreComorphism
maudeSym2CASLOp'Maude.PreComorphism
maudeSymbol2caslSortMaude.PreComorphism
maudeSymbol2caslSort'Maude.PreComorphism
maudeSymbol2validCASLSymbolMaude.PreComorphism
maudeTerm2caslTermMaude.PreComorphism
MaudeText 
1 (Type/Class)Maude.AS_Maude
2 (Data Constructor)Maude.AS_Maude
maudeType2caslSortMaude.PreComorphism
MaxCardinalityOWL2.AS
maxCardinalitySCASL_DL.AS_CASL_DL
MAXEXCLUSIVEOWL2.Keywords
maxExclusiveSCommon.Keywords
maximalSubsCASL.Overload
MAXINCLUSIVEOWL2.Keywords
maxInclusiveSCommon.Keywords
maxKindCspCASL.Symbol
MAXLENGTHOWL2.Keywords
maxLengthSOWL2.Keywords
maxPrecedenceCSL.AS_BASIC_CSL
maxPrioIsabelle.IsaConsts
maxS 
1 (Function)CSL.Keywords
2 (Function)OWL2.Keywords
3 (Function)OWL2.ProfilesAndSublogics
maxSizeGUI.HTkUtils
maxsizeGUI.HTkUtils
maxSublogicExtModal.Sublogic
maxWaitTimePGIP.XMLstate
maxWeightCommon.Prec
MaybeCharVSE.Prove
MaybeDiagNodeStatic.ArchDiagram
maybeDoOWL2.Function
maybeETopHybrid.Utilities
maybeElemTHF.Translate
maybeFCommon.XUpdate
maybeGUIValueGUI.HTkUtils
MaybeNodeStatic.DevGraph
MaybeRestrictedStatic.DevGraph
maybeResultCommon.Result
MaybeT 
1 (Type/Class)Common.Lib.Maybe
2 (Data Constructor)Common.Lib.Maybe
maybeToResultCommon.Result
MbMaude.AS_Maude
mb2formulaMaude.PreComorphism
mBasicModal.Parse_AS
MbCondMaude.AS_Maude
MbStmntMaude.AS_Maude
mb_rl2formulaMaude.PreComorphism
mcdSCSL.Keywords
measureWallTimeCommon.Timing
median3FreeCAD.VecTools
MediumGUI.HTkUtils
Medusa 
1 (Type/Class)OWL2.Medusa
2 (Data Constructor)OWL2.Medusa
medusaOWL2.Medusa
MedusaJsonDriver.Options
medusaToJsonOWL2.MedusaToJson
medusaToJsonStringOWL2.MedusaToJson
member 
1 (Function)Common.InjMap
2 (Function)Common.Lib.MapSet
3 (Function)Common.Lib.Rel
memberKeyCommon.Lib.Rel
memberSCSL.Keywords
Membership 
1 (Data Constructor)CASL.AS_Basic_CASL
2 (Type/Class)Maude.AS_Maude
3 (Data Constructor)Maude.Sentence
membershipSIsabelle.IsaConsts
membershipVIsabelle.IsaConsts
membSoICSL.TreePO
membSoIDCSL.TreePO
MemoMaude.AS_Maude
MemoryOutSoftFOL.MathServParsing
memqSCSL.Keywords
Menu 
1 (Data Constructor)GUI.UDGUtils
2 (Type/Class)GUI.HTkUtils
3 (Data Constructor)GUI.HTkUtils
menuGUI.HTkUtils
MenuButtonGUI.HTkUtils
MenuCascadeGUI.HTkUtils
MenuCheckButtonGUI.HTkUtils
MenuCommandGUI.HTkUtils
MenuPrimGUI.UDGUtils
MenuRadioButtonGUI.HTkUtils
MenuSeparatorGUI.HTkUtils
menuTextGlobCmdInterfaces.Command
mergeHasCASL.Merge
mergeChAStatic.XSimplePath
mergeClassInfoHasCASL.PrintLe
mergeClassMapHasCASL.PrintLe
mergeCurieCommon.IRI
mergeFinderGUI.GtkConsistencyChecker
mergeGlobalAnnosCommon.ConvertGlobalAnnos
mergeMapHasCASL.PrintLe
mergeNodeModStatic.DgUtils
mergeOpArityMapCSL.AS_BASIC_CSL
mergeOpInfoHasCASL.Merge
mergeTypeDefnHasCASL.Merge
mergeTypeInfoHasCASL.Merge
mergeTypesOpsHolLight.HolLight2DG
MessageGUI.HTkUtils
message 
1 (Function)Common.Result
2 (Function)PGIP.GraphQL.Result.Action
messageMessGUI.HTkUtils
MessageWCommon.Result
MetaGUI.HTkUtils
metaFramework.AS
metaCFramework.AS
MetadataMaude.AS_Maude
metaImplSIsabelle.IsaConsts
Metamodel 
1 (Type/Class)CSMOF.As
2 (Data Constructor)CSMOF.As
metamodelQVTR.As
metamodelKCSMOF.XMLKeywords
metamodelNameCSMOF.As
metamodelNameKCSMOF.XMLKeywords
metaSCommon.Keywords
MetaTermIsabelle.IsaSign
metaTermIsabelle.IsaSign
metisProveCMDLautomaticBatchSoftFOL.ProveMetis
metisProverSoftFOL.ProveMetis
MHsHOLCF_thyIsabelle.IsaSign
MHsHOL_thyIsabelle.IsaSign
middleCommon.Token
migrateAllPersistence.Schema
migrateLogicGraphKeyPersistence.LogicGraph
mimeTypeCommon.LibName
MinCASL.Overload
MinCardinalityOWL2.AS
minCardinalitySCASL_DL.AS_CASL_DL
minCBaseItemCoCASL.Sublogic
minCSigItemCoCASL.Sublogic
minDLFormCASL_DL.StatAna
MINEXCLUSIVEOWL2.Keywords
minExclusiveSCommon.Keywords
minExpForm 
1 (Function)CoCASL.StatAna
2 (Function)Hybrid.StatAna
3 (Function)Modal.StatAna
4 (Function)VSE.Ana
minExpFORMULACASL.Overload
minExpFORMULAeqCASL.Overload
minExpTermCASL.Overload
minFormSublogicCoCASL.Sublogic
minFplTermFpl.StatAna
MiniSyntax.AS_Structured
minimalCommon.Partial
minimalByCommon.Partial
minimalSupersCASL.Overload
MINIMIZATIONSyntax.AS_Structured
MinimizationSyntax.AS_Structured
Minimize 
1 (Data Constructor)Persistence.Schema.OMSOrigin
2 (Data Constructor)Static.DgUtils
minimizeClassMapHasCASL.PrintLe
MinimizeDefPersistence.Schema.MappingType
MinimizeOpenPersistence.Schema.MappingType
MinimizeProvedPersistence.Schema.MappingType
minimizeSCommon.Keywords
Minimize_specSyntax.AS_Structured
MININCLUSIVEOWL2.Keywords
minInclusiveSCommon.Keywords
MinisatPropositional.ProveMinisat
Minisat2Propositional.ProveMinisat
minisatConsCheckerPropositional.ProveMinisat
minisatProverPropositional.ProveMinisat
MiniSatVerPropositional.ProveMinisat
MINLENGTHOWL2.Keywords
minLengthSOWL2.Keywords
minModExtModal.Sublogic
minRawKindHasCASL.ClassAna
minS 
1 (Function)CSL.Keywords
2 (Function)OWL2.Keywords
minSizeGUI.HTkUtils
minsizeGUI.HTkUtils
MinSLCASL.Logic_CASL
minSLCASL.Logic_CASL
minSLExtSigItemExtModal.Sublogic
minSortTermCASL.CCC.TermFormula
minSourceTheoryLogic.Comorphism
MinSublogicLogic.Logic
minSublogicLogic.Logic
minSublogicEMBasicExtModal.Sublogic
minSublogicEMSignExtModal.Sublogic
minSublogicOfEMExtModal.Sublogic
minSublogicOfFormExtModal.Sublogic
minSublogicOfModExtModal.Sublogic
minSublogicOfModDefnExtModal.Sublogic
minSublogicOfPrefixExtModal.Sublogic
minSublogicOfTermExtModal.Sublogic
minusS 
1 (Function)CSL.Keywords
2 (Function)Common.Keywords
3 (Function)Isabelle.IsaConsts
minusVIsabelle.IsaConsts
minVarianceHasCASL.ClassAna
mirrorSimpleSourceGUI.UDGUtils
mirrorSimpleSourceWithDelayerGUI.UDGUtils
mirrorSquareLogic.Grothendieck
MiscOWL2.MS
miscOWL2.ParseMS
MiscFrameOWL2.PrintMS
MiscIdOWL2.PrintMS
missingExecutableInPathCommon.ProverTools
MissingKindHasCASL.As
missingMaybeOMDoc.XmlInterface
mItemModal.Parse_AS
MixCASL.MixfixParser
mixDiagsCommon.Earley
Mixfix 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
3 (Type/Class)Isabelle.IsaSign
4 (Data Constructor)Isabelle.IsaSign
mixfixAnaExtModal.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
MixfixTemplateIsabelle.IsaSign
mixfixTemplateIsabelle.IsaSign
MixfixTermHasCASL.As
MixfixTypeHasCASL.As
MixfixTypePatternHasCASL.As
Mixfix_Attrs 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
Mixfix_bracedCASL.AS_Basic_CASL
Mixfix_bracketedCASL.AS_Basic_CASL
Mixfix_castCASL.AS_Basic_CASL
Mixfix_formulaCASL.AS_Basic_CASL
Mixfix_parenthesizedCASL.AS_Basic_CASL
Mixfix_qual_predCASL.AS_Basic_CASL
Mixfix_sorted_termCASL.AS_Basic_CASL
Mixfix_termCASL.AS_Basic_CASL
Mixfix_tokenCASL.AS_Basic_CASL
mixIdCommon.Token
mixPatternHasCASL.ParseTerm
MixRecordCASL.MixfixParser
MixResolveCASL.MixfixParser
mixResolveCASL.MixfixParser
mixRuleCommon.Earley
mixRulesCASL.MixfixParser
mixTerm 
1 (Function)CASL.Formula
2 (Function)HasCASL.ParseTerm
mixTypeHasCASL.ParseTerm
mixTypePatternHasCASL.ParseTerm
MixTypeTermHasCASL.As
mkAbbrevIRICommon.IRI
mkAbsComorphisms.HolLight2Isabelle
mkAddChangeStatic.XSimplePath
mkADTOMDoc.OMDocInterface
mkADTExOMDoc.OMDocInterface
mkAndAnalyzeOpCSL.ASUtils
mkAndAnalyzeOp'CSL.ASUtils
mkAnyEqCASL.AS_Basic_CASL
mkAppComorphisms.HasCASL2IsabelleHOL
mkAppendCommonLogic.PredefinedCASLAxioms
mkApplCASL.AS_Basic_CASL
mkApplicationNotationOMDoc.Export
mkApplTermHasCASL.AsUtils
mkAttr 
1 (Function)Common.ToXml
2 (Function)Static.XSimplePath
mkAutomaticProverLogic.Prover
mkAxiomOMDoc.OMDocInterface
mkAxNameCASL.Sign
mkAxNameSingleCASL.Sign
mkBinDomTypeIsabelle.IsaConsts
mkBotCASL.Sublogic
mkBotSigFromUnitStatic.DevGraph
mkBracesHasCASL.ParseTerm
mkBracketsHasCASL.ParseTerm
mkBracketTokenHasCASL.AsUtils
mkCAdOMDoc.OMDocInterface
mkCastCASL.CCC.TermFormula
mkCAxOMDoc.OMDocInterface
mkCCoOMDoc.OMDocInterface
mkCDOMDoc.Export
mkCDeOMDoc.OMDocInterface
mkChangeCmdInterfaces.Command
mkChooseFunNameCspCASLProver.Consts
mkChooseFunOpCspCASLProver.Consts
mkCImOMDoc.OMDocInterface
mkCMPOMDoc.OMDocInterface
mkCombHolLight.Helper
mkCompareWithFunNameCspCASLProver.Consts
mkCompOptFramework.WriteLogicUtils
mkCondIsabelle.IsaSign
mkCondEqHasCASL.ProgEq
mkConj 
1 (Function)Propositional.Fold
2 (Function)QBF.Tools
3 (Function)SoftFOL.Sign
mkConsCommonLogic.PredefinedCASLAxioms
mkConsCheckerLogic.Prover
mkConsStatusStatic.DgUtils
mkConst 
1 (Function)HolLight.Helper
2 (Function)Isabelle.IsaConsts
mkConstDIsabelle.IsaConsts
mkConstructorOMDoc.OMDocInterface
mkConstructorEOMDoc.OMDocInterface
mkConstsNameTHF.Translate
mkConstTrueEqHasCASL.ProgEq
mkConstVIsabelle.IsaConsts
mkConstVDIsabelle.IsaConsts
mkContextAdl.As
mkContFunIsabelle.IsaConsts
mkContProductIsabelle.IsaConsts
mkCSyOMDoc.OMDocInterface
mkCurryContFunIsabelle.IsaConsts
mkCurryFunTypeIsabelle.IsaConsts
mkDataJunction 
1 (Function)OWL2.ParseMS
2 (Function)OWL2.Parse
mkDecimalCASL_DL.PredefinedCASLAxioms
mkDeclFramework.WriteLogicUtils
mkDefinition 
1 (Function)CSL.ASUtils
2 (Function)OMDoc.OMDocInterface
mkDefNameTHF.Translate
mkDefSquareLogic.Grothendieck
mkDGLinkStatic.DevGraph
mkDiagCommon.Result
mkDigitCASL_DL.PredefinedCASLAxioms
mkDisj 
1 (Function)Propositional.Fold
2 (Function)QBF.Tools
3 (Function)SoftFOL.Sign
mkDistVarsComorphisms.CASL2Prenex
mkDistVarsAuxComorphisms.CASL2Prenex
mkEdgeMapStatic.XGraph
mkElemeDeclOWL2.XMLConversion
mkElementOMDoc.XmlInterface
mkEmbInjAxiomComorphisms.CASL2PCFOL
mkEmbInjNameComorphisms.CASL2PCFOL
mkEntityOWL2.AS
mkEntityLblOWL2.AS
mkEnvForallHasCASL.VarDecl, HasCASL.OpDecl
mkEq 
1 (Function)HolLight.Helper
2 (Function)SoftFOL.Sign
mkEqTermHasCASL.Builtin
mkEquationCASL.Simplify
mkEquationAtomCASL.Utils
mkEqvCASL.AS_Basic_CASL
mkErrorCommon.Result
mkEscTIP.PrintTIP
mkEventInfoGUI.HTkUtils
mkEventInfoSetGUI.HTkUtils
mkExEqCASL.AS_Basic_CASL
mkExistCASL.AS_Basic_CASL
mkExplicitProductsTComorphisms.THFP2THF0
mkExtendedEntityOWL2.MS
mkExtSignCommon.ExtSign
mkExtSymbolRefOMDoc.OMDocInterface
mKeyModal.Parse_AS
mkFinderStatic.XSimplePath
mkFinderAuxStatic.XSimplePath
mkFlatItemCommon.Item
mkFlatItemMCommon.Item
mkFlexibleNotationOMDoc.Export
mkFloatCASL_DL.PredefinedCASLAxioms
mkForall 
1 (Function)CASL.AS_Basic_CASL
2 (Function)HasCASL.AsUtils
mkForallRangeCASL.AS_Basic_CASL
mkFreeIsabelle.IsaConsts
mkFreeDefMorProofs.FreeDefLinks
mkFromOpsCSL.Parse_AS_Basic
mkFunArrTypeHasCASL.AsUtils
mkFunArrTypeWithRangeHasCASL.AsUtils
mkFunKindHasCASL.AsUtils
mkFunTypeIsabelle.IsaConsts
mkGenNameCommon.Id
mkGraphDGStatic.DevGraph
mkG_morphismLogic.Grothendieck
mkHintTopHybrid.Utilities
mkHistorySimpleSourceGUI.UDGUtils
mkHistorySourceGUI.UDGUtils
mkIdCommon.Id
mkIdAxiomComorphisms.CASL2PCFOL
mkIdAxiomNameComorphisms.CASL2PCFOL
mkIdComorphismLogic.Comorphism
mkidSCSL.Keywords
mkIdSetsCASL.MixfixParser
mkIdSquareLogic.Grothendieck
mkImpl 
1 (Function)CASL.AS_Basic_CASL
2 (Function)Framework.WriteLogicUtils
mkImportsFramework.WriteLogicUtils
mkInclLF.Analysis
mkInclComorphismLogic.Comorphism
mkIndNameComorphisms.CommonLogic2IsabelleHOL
mkInfixCommon.Id
mkInjectivityComorphisms.CASL2PCFOL
mkInjectivityNameComorphisms.CASL2PCFOL
mkInjEqHasCASL.TypeRel
mkInjImplComorphisms.CASL2PCFOL
mkInjOrProjHasCASL.TypeRel
mkInjOrProjTypeHasCASL.TypeRel
mkInjTermHasCASL.TypeRel
MkInsertStatic.XSimplePath
mkInsortOMDoc.OMDocInterface
mkInstFramework.WriteLogicUtils
mkIOSimpleSourceGUI.UDGUtils
mkIRICommon.IRI
mkIsaConstITIsabelle.Translate
mkIsaConstTIsabelle.Translate
mkIsaSetIsabelle.IsaStrings
mkItemCommon.Item
mkItemMCommon.Item
mkItemMMCommon.Item
mkJArrCommon.Json
mkJBoolCommon.Json
mkJNumCommon.Json
mkJObjCommon.Json
mkJPairCommon.Json
mkJStrCommon.Json
mkJunctionCASL.Simplify
mkKindedMixTypeHasCASL.ParseTerm
MkLabelCommon.Doc
mkLazyTypeHasCASL.AsUtils
mkLibNameCommon.LibName
mkLibStrCommon.LibName
mkLidFramework.WriteLogicUtils
mkLineFreeCAD.Translator
mkLinkOriginOMDoc.Import
mkListTypeIsabelle.IsaConsts
mkLogTermHasCASL.Builtin
mkMixfixRecordCASL.ShowMixfix
mkMixfixTermHasCASL.ParseTerm
mkMixfixTypeHasCASL.ParseTerm
mkModDeclFramework.WriteLogicUtils
mkModsCommon.XmlDiff
MkMorphismCommon.DefaultMorphism
mkMorphism 
1 (Function)CommonLogic.Morphism
2 (Function)HasCASL.Le
mkNameAttrCommon.ToXml
mkNameJPairCommon.Json
mkNamesTHF.Utils
mkNegCASL.AS_Basic_CASL
MkNetworkSyntax.AS_Library
mkNiceDiagCommon.Result
mkNiceProverNamePGIP.Output.Formatting
mkNilCommonLogic.PredefinedCASLAxioms
mkNNameCASL_DL.PredefinedCASLAxioms
mkNodeIsabelle.Isa2DG
mkNonEmptyAxiomNameComorphisms.CASL2SubCFOL
mkNotationOMDoc.Export
mkNotDefBotAxiomNameComorphisms.CASL2SubCFOL
mkNSDTHF.HasCASL2THF0Buildins
mkNumAttFreeCAD.XMLPrinter
mkNumStrCommon.Id
mkNumVarCommon.Id
mkObjectJunction 
1 (Function)OWL2.ParseMS
2 (Function)OWL2.Parse
mkObjEntOWL2.CASL2OWL
mkODocOWL2.XMLConversion
mkOMAOMDoc.OMDocInterface
mkOMAEOMDoc.OMDocInterface
mkOMATPOMDoc.OMDocInterface
mkOMATTROMDoc.OMDocInterface
mkOMATTREOMDoc.OMDocInterface
mkOMBOMDoc.OMDocInterface
mkOMBEOMDoc.OMDocInterface
mkOMBINDOMDoc.OMDocInterface
mkOMBINDEOMDoc.OMDocInterface
mkOMBVAROMDoc.OMDocInterface
mkOMBWordsOMDoc.OMDocInterface
mkOMBWordsEOMDoc.OMDocInterface
mkOMCommentOMDoc.OMDocInterface
mkOMCommentedOMDoc.OMDocInterface
mkOMDocRefOMDoc.OMDocInterface
mkOMEOMDoc.OMDocInterface
mkOMEEOMDoc.OMDocInterface
mkOMFOMDoc.OMDocInterface
mkOMFEOMDoc.OMDocInterface
mkOMIOMDoc.OMDocInterface
mkOMIEOMDoc.OMDocInterface
mkOMOBJOMDoc.OMDocInterface
mkOMROMDoc.OMDocInterface
mkOMREOMDoc.OMDocInterface
MkOmsSyntax.AS_Library
mkOMSOMDoc.OMDocInterface
mkOMSEOMDoc.OMDocInterface
mkOMSimpleVarOMDoc.OMDocInterface
mkOMSimpleVarEOMDoc.OMDocInterface
mkOMSTROMDoc.OMDocInterface
mkOMSTREOMDoc.OMDocInterface
mkOMVarOMDoc.OMDocInterface
mkOMVarEOMDoc.OMDocInterface
mkOMVSVarOMDoc.OMDocInterface
mkOMVSVarEOMDoc.OMDocInterface
mkOopsIsabelle.IsaSign
mkOpCSL.ASUtils
mkOpPartialMaude.Symbol
mkOpTermHasCASL.AsUtils
mkOptionTypeIsabelle.IsaConsts
mkOpTotalMaude.Symbol
mkOverloadedIdCASL.Disambiguate
mkOWLDeclarationOWL2.Propositional2OWL2
mkPartialCASL.Sign
mkPreAlphabetConstructorCspCASLProver.Consts
mkPreAlphabetConstructorOpCspCASLProver.Consts
mkPrecIntMapCommon.Prec
mkPredefOpCSL.ASUtils
mkPredicationCASL.AS_Basic_CASL
mkPresentationOMDoc.OMDocInterface
mkPresentationSOMDoc.OMDocInterface
mkPriorityAttrCommon.ToXml
mkPriorityJPairCommon.Json
mkProcNameConstructorCspCASLProver.Consts
mkProductTypeHasCASL.AsUtils
mkProductTypeWithRangeHasCASL.AsUtils
mkProgEqHasCASL.ProgEq
mkProjAxiomComorphisms.CASL2PCFOL
mkProjInjAxiomComorphisms.CASL2PCFOL
mkProjInjNameComorphisms.CASL2PCFOL
mkProjNameComorphisms.CASL2PCFOL
mkProver 
1 (Function)TPTP.Prover.Common
2 (Function)PGIP.Output.Provers
mkProverTemplateLogic.Prover
mkProverTemplateWithLemmaExportCSL.ReduceProve
mkQNameIsabelle.IsaSign
mkQualNameCommon.LibName
mkQualOp 
1 (Function)CASL.AS_Basic_CASL
2 (Function)HasCASL.Builtin
mkQualPredCASL.AS_Basic_CASL
mkQuantEqHasCASL.ProgEq
mkQuantifierComorphisms.HolLight2Isabelle
mkRangedVSE.As
mkReadLF.Analysis
mkRecognizerOMDoc.OMDocInterface
mkRectangleFreeCAD.Translator
mkRefSigFromUnitStatic.DevGraph
mkRefuteSenIsabelle.IsaSign
mkRelCASL.AS_Basic_CASL
mkRelationCASL.Simplify
mkRemoveChangeStatic.XSimplePath
mkSDomTypeIsabelle.IsaConsts
mkSelectCmdInterfaces.Command
mkSenIsabelle.IsaSign
mkSenAuxIsabelle.IsaSign
mkSigLF.Analysis
mkSimpleIdCommon.Id
mkSimpleNameOMDoc.DataTypes
mkSimpleQualNameOMDoc.DataTypes
mkSingleSubstHasCASL.Unify
mkSingleTermFCASL.Utils
mkSkolemFunctionComorphisms.CASL2Skolem
mkSmartNotationOMDoc.Export
mkSortBarAbsOpCspCASLProver.Consts
mkSortBarAbsStringCspCASLProver.Consts
mkSortBarRepOpCspCASLProver.Consts
mkSortBarStringCspCASLProver.Consts
mkSortBarTypeCspCASLProver.Consts
mkSortDefOMDoc.OMDocInterface
mkSortDefEOMDoc.OMDocInterface
mkSortedCASL.Overload
mkSortedTermCASL.CCC.TermFormula
mkSortFlatStringCspCASLProver.Consts
mkSortGenNameCASL.Sign
mkSort_gen_axCASL.AS_Basic_CASL
mkSPCustomSymbolSoftFOL.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
mkStEqCASL.AS_Basic_CASL
mkSTermCASL.CCC.TermFormula
mkStrictProductIsabelle.IsaConsts
mkStrictSumIsabelle.IsaConsts
mkSTypeIsabelle.IsaConsts
mkSTypeTIsabelle.IsaConsts
mkSubstHasCASL.Unify
mkSubtTermHasCASL.TypeRel
mkSymbolOMDoc.OMDocInterface
mkSymbolEOMDoc.OMDocInterface
mkSymbolMapComorphisms.HasCASL2THFP_P
mkSymbolRefOMDoc.OMDocInterface
mkTermHasCASL.Builtin
mkTermInstHasCASL.Builtin
mkTextCommon.ToXml
mkTheoryFileName 
1 (Function)TIP.Prover.Common
2 (Function)TPTP.Prover.Common
mkTheoryMappingLogic.Comorphism
mkThyNameAlphabetCspCASLProver.Consts
mkThyNameDataEncCspCASLProver.Consts
mkThyNameIntThmsCspCASLProver.Consts
mkThyNamePreAlphabetCspCASLProver.Consts
mkTokPosCommon.Id
mkTopCASL.Sublogic
mkTotalCASL.Sign
mkTotalityAxiomNameComorphisms.CASL2SubCFOL
mkTotOpTypeCASL.Sign
mkTransAxiomComorphisms.CASL2PCFOL
mkTransAxiomNameComorphisms.CASL2PCFOL
mkTupleTermHasCASL.AsUtils
mkTypeOMDoc.OMDocInterface
mkTypeApplHasCASL.AsUtils
mkTypeArgHasCASL.TypeRel
mkTypeConstrApplHasCASL.TypeMixAna
mkTypedEqTermHasCASL.TypeRel
mkTypedTermHasCASL.TypeRel
mkTypesNameTHF.Translate
mkUniqueInjNameCommon.Id
mkUniqueNameCommon.Id
mkUniqueProjNameCommon.Id
MkUpdateStatic.XSimplePath
mkUpdateChangeStatic.XSimplePath
mkUsableConsCheckerLogic.Prover
mkUsableProverLogic.Prover
mkUseOMDoc.OMDocInterface
mkUserdefOpCSL.ASUtils
mkVar 
1 (Function)CSL.ASUtils
2 (Function)Maude.AS_Maude
mkVarDecl 
1 (Function)CASL.AS_Basic_CASL
2 (Function)HasCASL.DataAna
mkVarDeclStrCASL.AS_Basic_CASL
mkVarTermCASL.AS_Basic_CASL
mkVNameIsabelle.IsaConsts
mkVseProofStatusVSE.Prove
mkXExEqComorphisms.CASL2PCFOL
mkXLinkStatic.XGraph
mkXNodeStatic.XGraph
mkXQNameCommon.XmlDiff
mlFileSIsabelle.IsaConsts
mLineAnnosCommon.AnnoState
mlSIsabelle.IsaConsts
mmGUI.HTkUtils
mmaps 
1 (Function)OWL2.Morphism
2 (Function)RDF.Morphism
MMiSSOntologyTaxonomy.MMiSSOntology
mmtBaseLF.Twelf2GR
mmtModLF.Twelf2GR
mmtResMMT.Hets2mmt
MnchstrSntxOWL2.PrintMS
ModCommonLogic.AS_CommonLogic
Mod1GUI.HTkUtils
Mod2GUI.HTkUtils
Mod3GUI.HTkUtils
Mod4GUI.HTkUtils
Mod5GUI.HTkUtils
Modal 
1 (Type/Class)Modal.Logic_Modal
2 (Data Constructor)Modal.Logic_Modal
modalPGIP.Server.Examples
Modal2CASL 
1 (Type/Class)Comorphisms.Modal2CASL
2 (Data Constructor)Comorphisms.Modal2CASL
ModalFORMULAModal.Logic_Modal
modalFormulaModal.Parse_AS
modalitiesExtModal.ExtModalSign
modalitiesSCommon.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
modalitySCommon.Keywords
ModalMorModal.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_wordsModal.Parse_AS
ModDefn 
1 (Type/Class)ExtModal.AS_ExtModal
2 (Data Constructor)ExtModal.AS_ExtModal
ModeCommon.Lib.Pretty
modeCommon.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
modelCSMOF.As
modelCFramework.AS
modelCheckCASL.CompositionTable.ModelChecker
modelKCSMOF.XMLKeywords
modelNameCSMOF.As
modelNameKCSMOF.XMLKeywords
Models 
1 (Type/Class)CASL.CompositionTable.CompositionTable
2 (Data Constructor)CASL.CompositionTable.CompositionTable
modelsFramework.AS
modelSparQDriver.Options
modelsSCommon.Keywords
modelString1CASL.CompositionTable.CompositionTable
modelString2CASL.CompositionTable.CompositionTable
modelTypeCSMOF.As
modEntity 
1 (Function)OWL2.Sign
2 (Function)RDF.StaticAnalysis
ModExp 
1 (Type/Class)Maude.AS_Maude
2 (Data Constructor)Maude.AS_Maude
ModFormExtModal.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
modificationsLogic.Grothendieck
ModifierIsabelle.IsaSign
modify 
1 (Function)Common.Lib.State
2 (Function)GUI.UDGUtils
modifyCtxStatic.DevGraph
ModifyHasDefGUI.UDGUtils
ModItemExtModal.AS_ExtModal
modItemStatAnaExtModal.StatAna
ModNameMaude.Language
ModOp 
1 (Data Constructor)ExtModal.AS_ExtModal
2 (Type/Class)ExtModal.AS_ExtModal
modPrecExtModal.Print_AS
modPredTypeCASL.World
modSIsabelle.IsaConsts
modToTermModal.Utils
modularSCSL.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
moduleQNLF.Twelf2GR
moduleSCommon.Keywords
Module_defnSyntax.AS_Library
MODULE_TYPESyntax.AS_Library
Module_typeSyntax.AS_Library
modVIsabelle.IsaConsts
Mod_exCommonLogic.AS_CommonLogic
mod_mapExtModal.MorphismExtension
MonadicHasCASL2IsabelleHOL 
1 (Type/Class)Comorphisms.MonadicHasCASLTranslation
2 (Data Constructor)Comorphisms.MonadicHasCASLTranslation
monadifyWithErrorGUI.HTkUtils
MonadResultCommon.ResultT
MonadWithError 
1 (Type/Class)GUI.HTkUtils
2 (Data Constructor)GUI.HTkUtils
MonoCommon.Consistency
MonoChromeModeGUI.HTkUtils
monosHasCASL.TypeRel
MonoSpaceGUI.HTkUtils
monotonicitiesCASL.Monoton
monoTypeHasCASL.VarDecl
mOntologyIRIOWL2.AS
mOntologyVersionOWL2.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
morMapStatic.DevGraph
morMapIStatic.DevGraph
morMapSublogicSenLogic.Morphism
morMapSublogicSignLogic.Morphism
morMap_morphismLogic.Morphism
morMap_sentenceLogic.Morphism
morMap_signLogic.Morphism
morMap_sign_symbolLogic.Morphism
morphBaseLF.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
morphism2TokenMapNeSyPatterns.Morphism
morphismBaseOMDoc.OMDocInterface
MorphismComFramework.Logic_Framework
MorphismExtensionCASL.Morphism
morphismHidingOMDoc.OMDocInterface
morphismIdOMDoc.OMDocInterface
morphismRequationsOMDoc.OMDocInterface
morphismsLogic.Grothendieck
MorphismTHFTHF.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
morphismUnionMCASL.Morphism
morphism_unionLogic.Logic
MorphMap 
1 (Data Constructor)OWL2.Function
2 (Type/Class)OWL2.Function
3 (Type/Class)RDF.Function
morphModuleLF.Morphism
morphNameLF.Morphism
MORPHSLF.Twelf2GR
morphTranslDFOL.Comorphism
MorphTypeLF.Morphism
morphTypeLF.Morphism
morphUnionDFOL.Morphism
MORPH_NAMEFramework.AS
morSourceLogicLogic.Morphism
morSourceSublogicLogic.Morphism
morTargetLogicLogic.Morphism
morTargetSublogicLogic.Morphism
morToSExprsCASL.ToSExpr
mostRightCommon.Lib.Rel
mostSymsHasCASL.PrintLe
mostSymsOfLogic.Logic
MotionGUI.HTkUtils
moveAnnosSyntax.Print_AS_Structured
moveDownStatic.XSimplePath
moveItemGUI.HTkUtils
moveNegIn 
1 (Function)Propositional.Fold
2 (Function)QBF.Tools
movetoGUI.HTkUtils
moveUpStatic.XSimplePath
moveVSEFilesVSE.Prove
MpmSoftFOL.Sign
mr_nameStatic.XGraph
mr_sourceStatic.XGraph
MSOWL2.AS
ms2vcsMaude.PreComorphism
MSaxStateCommon.SAX
MsgMaude.AS_Maude
msgSCSL.Keywords
msgs 
1 (Function)Adl.StatAna
2 (Function)PGIP.XMLstate
3 (Function)TopHybrid.Utilities
msgsListTopHybrid.Utilities
mshellSCSL.Keywords
mShowGraphGUI.ShowLibGraph
MSignModal.Logic_Modal
msource 
1 (Function)CASL.Morphism
2 (Function)HasCASL.Le
msplitCommon.LogicT
mStuffMaude.Parse
mSym2caslIdMaude.PreComorphism
mtarget 
1 (Function)CASL.Morphism
2 (Function)HasCASL.Le
MTextOMDoc.OMDocInterface
MTextOMOMDoc.OMDocInterface
MTextPhraseOMDoc.OMDocInterface
MTextTermOMDoc.OMDocInterface
MTextTextOMDoc.OMDocInterface
MulExpAdl.As
MulOpAdl.As
MultConstr 
1 (Type/Class)CSMOF.Sign
2 (Data Constructor)CSMOF.Sign
multExprCommon.XPath
multiOptFramework.WriteLogicUtils
MultipleGUI.HTkUtils
multiplicitiesSCSL.Keywords
MultiplicityElement 
1 (Type/Class)CSMOF.As
2 (Data Constructor)CSMOF.As
multiplicityElementCSMOF.As
multiplicityElementSubClassesCSMOF.As
multOpsCommon.XPath
muSExtModal.Keywords
MWCalculusSoftFOL.MathServParsing
MWFoAtpResult 
1 (Type/Class)SoftFOL.MathServParsing
2 (Data Constructor)SoftFOL.MathServParsing
MWFormalProofSoftFOL.MathServParsing
mwIRIOWL2.XMLConversion
mwNameIRIOWL2.XMLConversion
mwSimpleIRIOWL2.XMLConversion
MWStatus 
1 (Type/Class)SoftFOL.MathServParsing
2 (Data Constructor)SoftFOL.MathServParsing
mwStringOWL2.XMLConversion
mwTextOWL2.XMLConversion
MWTimeResource 
1 (Type/Class)SoftFOL.MathServParsing
2 (Data Constructor)SoftFOL.MathServParsing
myChoiceHasCASL.ParseTerm
MyDataCommon.Data
myDataToXmlCommon.ToXml
myEqIdTHF.Translate
myFmapComorphisms.HasCASL2THFP_P
myGetApplComorphisms.HasCASL2THFP_P
myGetCharVSE.Prove
myLookAheadCommon.Lexer
M_BASIC_ITEMModal.AS_Modal
M_BASIC_SPECModal.AS_Modal
M_FORMULAModal.AS_Modal
M_SIG_ITEMModal.AS_Modal