mutualLemmaText2 :: ResolveHint -- Resolve hint?
                 -> RewriteHint -- Rewrite hint?
                 -> DocHide     -- Hide documentation?
                 -> [String]    -- Hint databases.
                 -> Sort        -- Sort
                 -> [[String]]  -- Names for the parts.
                 -> [[String]]  -- Statments for the parts.
                 -> [String]    -- Proof of the lemma.
                 -> M String
mutualLemmaText2 resolve rewrite hide dbs sort names stmts proof =
    do { strs <- mapM (\(name, stmt, pf) ->
                           mutualLemmaText resolve rewrite hide dbs sort name stmt pf)
                      (zip3 names stmts proof)
       ; return $ concat strs
       }
mutualLemmaText2 :: ResolveHint -- Resolve hint?
                 -> RewriteHint -- Rewrite hint?
                 -> DocHide     -- Hide documentation?
                 -> [String]    -- Hint databases.
                 -> Sort        -- Sort
                 -> [[String]]  -- Names for the parts.
                 -> [[String]]  -- Statments for the parts.
                 -> [String]    -- Proof of the lemma.
                 -> M String
mutualLemmaText2 resolve rewrite hide dbs sort names stmts proof =
    do { strs <- mapM (\(name, stmt, pf) ->
                           mutualLemmaText resolve rewrite hide dbs sort name stmt pf)
                      (zip3 names stmts proof)
       ; return $ concat strs
       }
mutualLemmaText2 resolve rewrite hide dbs sort names stmts proof =
    do { strs <- mapM (\(name, stmt, pf) ->
                           mutualLemmaText resolve rewrite hide dbs sort name stmt pf)
                      (zip3 names stmts proof)
       ; return $ concat strs
       }