Commits and authors (tptp)

Total number of commits (excl. merge): 47