| ma | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
| mapfilter | Data.Logic.ATP.Lib, Data.Logic.ATP |
| match_atoms | Data.Logic.ATP.Resolution, Data.Logic.ATP |
| match_atoms_eq | Data.Logic.ATP.Resolution, Data.Logic.ATP |
| maximize | Data.Logic.ATP.Lib, Data.Logic.ATP |
| maybeBraces | Data.Logic.ATP |
| maybeBrackets | Data.Logic.ATP |
| maybeDoubleQuotes | Data.Logic.ATP |
| maybeParens | Data.Logic.ATP |
| maybeQuotes | Data.Logic.ATP |
| meson | Data.Logic.ATP.Meson, Data.Logic.ATP |
| meson1 | Data.Logic.ATP.Meson, Data.Logic.ATP |
| meson2 | Data.Logic.ATP.Meson, Data.Logic.ATP |
| minimize | Data.Logic.ATP.Lib, Data.Logic.ATP |
| mk_knows | Data.Logic.ATP.PropExamples, Data.Logic.ATP |
| mk_knows2 | Data.Logic.ATP.PropExamples, Data.Logic.ATP |
| mk_lits | Data.Logic.ATP.Prop, Data.Logic.ATP |
| Mode | Data.Logic.ATP |
| mode | Data.Logic.ATP |
| mod_interp | Data.Logic.ATP.FOL, Data.Logic.ATP |
| m_angles | Data.Logic.ATP.Parser, Data.Logic.ATP |
| m_identifier | Data.Logic.ATP.Parser, Data.Logic.ATP |
| m_integer | Data.Logic.ATP.Parser, Data.Logic.ATP |
| m_parens | Data.Logic.ATP.Parser, Data.Logic.ATP |
| m_reserved | Data.Logic.ATP.Parser, Data.Logic.ATP |
| m_reservedOp | Data.Logic.ATP.Parser, Data.Logic.ATP |
| m_symbol | Data.Logic.ATP.Parser, Data.Logic.ATP |
| m_whiteSpace | Data.Logic.ATP.Parser, Data.Logic.ATP |