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 |