Index - M
| 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 |