MajorityL.hs revision c938ad3c5e5ba93bd5110c2e6ba187a9f557088d
module GMP.MajorityL where
data MLrules = MLrules ()
instance ModalLogic () MLrules where
-- flagML _ = None
-- parseIndex =
-- matchR _ =
-- guessClause r =