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