thys/Abacus_Defs.thy
2019-01-07 Sebastiaan Joosten Added myself to the comments at the start of all files
2018-12-21 Sebastiaan Joosten More naming of lemmas, cleanup of Abacus and NatBijection
2013-02-26 Christian Urban added an al
less more (0) tip