2 Commits

Include renames

Author	SHA1	Message	Date
ramona.enache	3870f18ba6	WordsRonSumoFre	2010-04-18 13:55:44 +00:00
krasimir	07fa5c575d	added TPTP for SUMO	2010-02-17 12:21:41 +00:00