Commit Graph

1 Commits

Author SHA1 Message Date
Adam Stankiewicz
7aae831309 Add tptp syntax 2019-06-08 12:46:43 +02:00