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