changeset 58881 | b9556a055632 |
parent 58834 | 773b378d9313 |
child 59506 | 4af607652318 |
58880:0baae4311a9f | 58881:b9556a055632 |
---|---|
4 Author: Stefan Richter |
4 Author: Stefan Richter |
5 Author: Tobias Nipkow |
5 Author: Tobias Nipkow |
6 Author: Alexander Krauss |
6 Author: Alexander Krauss |
7 *) |
7 *) |
8 |
8 |
9 header {* Bijections between natural numbers and other types *} |
9 section {* Bijections between natural numbers and other types *} |
10 |
10 |
11 theory Nat_Bijection |
11 theory Nat_Bijection |
12 imports Main |
12 imports Main |
13 begin |
13 begin |
14 |
14 |