finished first versin of term-to-TPTP translation module
finished first versin of term-to-TPTP translation module

leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III