2019-01-07 | Sebastiaan Joosten | Added myself to the comments at the start of all files | file | diff | annotate |
2018-12-21 | Sebastiaan Joosten | More naming of lemmas, cleanup of Abacus and NatBijection | file | diff | annotate |
2018-12-21 | Sebastiaan Joosten | Gave lemmas names in Abacus.ty | file | diff | annotate |