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