changeset 61799 | 4cf66f21b764 |
parent 59807 | 22bc39064290 |
child 61941 | 31f2105521ee |
61798:27f3c10b0b50 | 61799:4cf66f21b764 |
---|---|
2 Author: Jeremy Dawson and Gerwin Klein, NICTA |
2 Author: Jeremy Dawson and Gerwin Klein, NICTA |
3 |
3 |
4 Consequences of type definition theorems, and of extended type definition. |
4 Consequences of type definition theorems, and of extended type definition. |
5 *) |
5 *) |
6 |
6 |
7 section {* Type Definition Theorems *} |
7 section \<open>Type Definition Theorems\<close> |
8 |
8 |
9 theory Misc_Typedef |
9 theory Misc_Typedef |
10 imports Main |
10 imports Main |
11 begin |
11 begin |
12 |
12 |