summaryrefslogtreecommitdiff
path: root/examples/SUMO/TPTP/MergeAx.p
AgeCommit message (Expand)Author
2013-09-16Remove contribs and examplesjohn.j.camilleri
2010-04-18WordsRonSumoFreramona.enache
2010-02-17added TPTP for SUMOkrasimir