| changeset 44939 | 5930d35c976d |
| parent 39302 | d7728f65b353 |
| child 45538 | 1fffa81b9b83 |
--- a/src/HOL/Word/Misc_Typedef.thy Fri Sep 16 12:10:15 2011 +1000 +++ b/src/HOL/Word/Misc_Typedef.thy Fri Sep 16 12:10:43 2011 +1000 @@ -1,8 +1,7 @@ (* - Author: Jeremy Dawson and Gerwin Klein, NICTA + Author: Jeremy Dawson and Gerwin Klein, NICTA - consequences of type definition theorems, - and of extended type definition theorems + Consequences of type definition theorems, and of extended type definition. theorems *) header {* Type Definition Theorems *}