| mainPage | Ideas.Text.HTML.W3CSS |
| majorPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| makeAssociative | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| makeBinding | Ideas.Common.Environment, Ideas.Common.Library |
| makeConstraint | Ideas.Common.Constraint, Ideas.Common.Library |
| makeDynamic | Ideas.Common.Strategy.StrategyTree |
| makeEnvironment | Ideas.Common.Environment, Ideas.Common.Library |
| makeExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| makeHorizontal | Ideas.Common.Traversal.Navigator |
| makeLeafs | Ideas.Common.Traversal.Navigator |
| makeLevelOrder | Ideas.Common.Traversal.Navigator |
| makeLinkManager | Ideas.Encoding.LinkManager |
| makeLogRef | Ideas.Encoding.Logging |
| makeMatcher | Ideas.Common.View, Ideas.Common.Library |
| makeMirror | Ideas.Common.Traversal.Utils |
| makeNoState | Ideas.Service.State |
| makeOptions | Ideas.Encoding.Options |
| makePostOrder | Ideas.Common.Traversal.Navigator |
| makePrefix | Ideas.Common.Strategy.Prefix |
| makePreOrder | Ideas.Common.Traversal.Navigator |
| makeRecognizer | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| makeRecognizerTrans | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| makeRef | Ideas.Common.Environment, Ideas.Common.Library |
| makeRefList | Ideas.Common.Environment, Ideas.Common.Library |
| makeRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| makeRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| makeScript | Ideas.Service.FeedbackScript.Syntax |
| MakeScriptFor | Ideas.Main.CmdLineOptions |
| makeScriptFor | Ideas.Service.FeedbackScript.Analysis |
| makeService | Ideas.Service.Types |
| makeState | Ideas.Service.State |
| makeSummary | Ideas.Utils.TestSuite |
| makeSymbol | Ideas.Text.OpenMath.Symbol |
| makeText | Ideas.Service.FeedbackScript.Syntax |
| MakeTrans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| makeTrans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| makeTree | Ideas.Common.DerivationTree |
| makeView | Ideas.Common.View, Ideas.Common.Library |
| makeXML | Ideas.Text.XML |
| many | |
| 1 (Function) | Ideas.Utils.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Derived |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| many1 | |
| 1 (Function) | Ideas.Utils.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Derived |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| manyTill | Ideas.Utils.Parsing |
| mapBoth | Ideas.Common.Classes, Ideas.Common.Library |
| mapFirst | Ideas.Common.Classes, Ideas.Common.Library |
| mapRef | Ideas.Common.Environment, Ideas.Common.Library |
| mapRules | Ideas.Common.Strategy.Abstract |
| mapRulesInTree | Ideas.Common.Strategy.StrategyTree |
| mapRulesS | Ideas.Common.Strategy.Abstract |
| mapSecond | Ideas.Common.Classes, Ideas.Common.Library |
| mapSize | Ideas.Utils.QuickCheck |
| mapSymbol | Ideas.Text.OpenMath.Dictionary.List1 |
| mapWrapper | Ideas.Common.Traversal.Utils |
| margin | Ideas.Text.HTML.W3CSS |
| marginPos | Ideas.Text.HTML.W3CSS |
| Match | Ideas.Common.Rewriting.Unification |
| match | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Rewriting.Unification |
| Matcher | Ideas.Common.View, Ideas.Common.Library |
| matcher | Ideas.Common.View, Ideas.Common.Library |
| matcherView | Ideas.Common.View, Ideas.Common.Library |
| matchExtended | Ideas.Common.Rewriting.Unification |
| matchList | Ideas.Common.Rewriting.Unification |
| matchM | Ideas.Common.View, Ideas.Common.Library |
| MathML | |
| 1 (Type/Class) | Ideas.Text.MathML |
| 2 (Data Constructor) | Ideas.Service.Types |
| mathml2xml | Ideas.Text.MathML |
| matrixrowSymbol | Ideas.Text.OpenMath.Dictionary.Linalg2 |
| matrixSymbol | Ideas.Text.OpenMath.Dictionary.Linalg2 |
| maxDiscardRatio | Ideas.Utils.QuickCheck |
| maxShrinks | Ideas.Utils.QuickCheck |
| maxSize | Ideas.Utils.QuickCheck |
| maxSuccess | Ideas.Utils.QuickCheck |
| maxTime | Ideas.Encoding.Options |
| Medium | |
| 1 (Data Constructor) | Ideas.Text.HTML.W3CSS |
| 2 (Data Constructor) | Ideas.Common.Examples, Ideas.Common.Exercise, Ideas.Common.Library |
| medium | Ideas.Common.Examples |
| MEnclose | Ideas.Text.MathML |
| Menu | Ideas.Common.Strategy.Choice |
| menu | Ideas.Common.Strategy.Process |
| menuButtons | Ideas.Text.HTML.Templates |
| menuStyle | Ideas.Text.HTML.Templates |
| merge | Ideas.Common.Derivation, Ideas.Common.Library |
| mergeBy | Ideas.Common.Derivation, Ideas.Common.Library |
| mergeMaybeSteps | Ideas.Common.DerivationTree |
| mergeStep | Ideas.Common.Derivation, Ideas.Common.Library |
| MError | Ideas.Text.MathML |
| Message | |
| 1 (Type/Class) | Ideas.Utils.TestSuite |
| 2 (Type/Class) | Ideas.Service.FeedbackText |
| 3 (Type/Class) | Ideas.Service.FeedbackScript.Analysis |
| message | Ideas.Utils.TestSuite |
| messageLines | Ideas.Utils.TestSuite |
| metaInRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| metaServiceList | Ideas.Service.ServiceList, Ideas.Main.Default |
| metaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| metaVariables | Ideas.Text.OpenMath.FMP |
| metaVars | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| metaVarSet | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| MFenced | Ideas.Text.MathML |
| MFrac | Ideas.Text.MathML |
| microsteps | Ideas.Service.State |
| MId | Ideas.Text.MathML |
| Minor | Ideas.Common.Classes, Ideas.Common.Library |
| minor | Ideas.Common.Classes, Ideas.Common.Library |
| minorRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| minusSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| Mirror | Ideas.Common.Traversal.Utils |
| Mixed | Ideas.Text.XML.Document |
| mkFunTy | Ideas.Utils.Typeable |
| MLabeledTableRow | Ideas.Text.MathML |
| MNumber | Ideas.Text.MathML |
| mobile | Ideas.Text.HTML.W3CSS |
| modal | Ideas.Text.HTML.W3CSS |
| modalContent | Ideas.Text.HTML.W3CSS |
| mondrian | Ideas.Utils.Parsing |
| mondrianDef | Ideas.Utils.Parsing |
| monoidAlg | Ideas.Common.Strategy.CyclicTree |
| monomorphic | Ideas.Utils.QuickCheck |
| MOperator | Ideas.Text.MathML |
| motivation | Ideas.Service.FeedbackScript.Run |
| MotivationIs | Ideas.Service.FeedbackScript.Syntax |
| MOver | Ideas.Text.MathML |
| MPadded | Ideas.Text.MathML |
| MPhantom | Ideas.Text.MathML |
| mplus | Ideas.Common.Traversal.Utils |
| MRoot | Ideas.Text.MathML |
| MRow | Ideas.Text.MathML |
| MSpace | Ideas.Text.MathML |
| MSqrt | Ideas.Text.MathML |
| MString | Ideas.Text.MathML |
| MStyle | Ideas.Text.MathML |
| MSub | Ideas.Text.MathML |
| MSubSup | Ideas.Text.MathML |
| MSup | Ideas.Text.MathML |
| MTable | Ideas.Text.MathML |
| MTableData | Ideas.Text.MathML |
| MTableRow | Ideas.Text.MathML |
| MText | Ideas.Text.MathML |
| multi | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| MUnder | Ideas.Text.MathML |
| MUnderOver | Ideas.Text.MathML |
| munless | Ideas.Utils.Prelude |
| mwhen | Ideas.Utils.Prelude |