EdmonL/RuleML2TPTP — pull request #10 by EdmonL (2014-11-09 01:03:49+00:00)
Title: Keepcomments, fixes #8

with options