changeset 35069 | 09154b995ed8 |
parent 32960 | 69916a850301 |
child 35416 | d8d7d1b785af |
35068:544867142ea4 | 35069:09154b995ed8 |
---|---|
1 (* Title: HOL/Bali/TypeSafe.thy |
1 (* Title: HOL/Bali/TypeSafe.thy |
2 ID: $Id$ |
|
3 Author: David von Oheimb and Norbert Schirmer |
2 Author: David von Oheimb and Norbert Schirmer |
4 *) |
3 *) |
5 header {* The type soundness proof for Java *} |
4 header {* The type soundness proof for Java *} |
6 |
5 |
7 theory TypeSafe |
6 theory TypeSafe |