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 |
2013-02-26 | Christian Urban |
added an al | file | diff | annotate | base |