thys/NatBijection.thy
2013-05-13 Christian Urban added
2013-05-10 Christian Urban added first version of natbiject
less more (0) tip