EdmonL/RuleML2TPTP — pull request #9 by EdmonL (2014-11-07 00:31:38+00:00)
Title: fix names, fixes #7

Try to fix names automatically. Give warnings as well.