mapAtoms | Theory.Model.Formula, Theory.Model, Theory |
mapFrees | Theory.Model, Theory |
mapGuardedAtoms | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
mapProofInfo | Theory.Proof, Theory |
mapProverProof | Theory.Proof, Theory |
mapRange | Theory.Model, Theory |
mapRangeVFresh | Theory.Model, Theory |
markGoalAsSolved | Theory.Constraint.Solver.Reduction |
Match | Theory.Model, Theory |
matchFact | Theory.Model.Fact, Theory.Model, Theory |
matchLVar | Theory.Model, Theory |
matchOnlyIf | Theory.Model, Theory |
matchWith | Theory.Model, Theory |
MaudeHandle | Theory.Model, Theory |
MaudeSig | Theory.Model, Theory |
mergeMapsWith | Theory.Proof, Theory |
mhFilePath | Theory.Model, Theory |
mhMaudeSig | Theory.Model, Theory |
minimalMaudeSig | Theory.Model, Theory |
mkDUnionRule | Theory.Tools.IntruderRules |
Mode | Theory.Text.Pretty |
mode | Theory.Text.Pretty |
modifyLemmaProof | Theory |
Monotone | Theory.Model, Theory |
MonotoneFunction | Theory.Model, Theory |
msetFunSig | Theory.Model, Theory |
msetMaudeSig | Theory.Model, Theory |
msgvar | Theory.Text.Parser.Token |
Mult | Theory.Model, Theory |
multiComment | Theory.Text.Pretty |
multiComment_ | Theory.Text.Pretty |
Multiplicity | Theory.Model.Fact, Theory.Model, Theory |
multisetIntruderRules | Theory.Tools.IntruderRules |