exportLemmaSolve :: Named CMD -> ProofStatus [EXPRESSION] ->
                    (Named CMD, ProofStatus [EXPRESSION])
exportLemmaSolve = exportLemmaGeneric
exportLemmaSolve :: Named CMD -> ProofStatus [EXPRESSION] ->
                    (Named CMD, ProofStatus [EXPRESSION])
exportLemmaSolve = exportLemmaGeneric
exportLemmaSolve = exportLemmaGeneric