changeset 35069 | 09154b995ed8 |
parent 32960 | 69916a850301 |
child 37956 | ee939247b2fb |
35068:544867142ea4 | 35069:09154b995ed8 |
---|---|
1 (* Title: HOL/Bali/AxSound.thy |
1 (* Title: HOL/Bali/AxSound.thy |
2 ID: $Id$ |
|
3 Author: David von Oheimb and Norbert Schirmer |
2 Author: David von Oheimb and Norbert Schirmer |
4 *) |
3 *) |
5 header {* Soundness proof for Axiomatic semantics of Java expressions and |
4 header {* Soundness proof for Axiomatic semantics of Java expressions and |
6 statements |
5 statements |
7 *} |
6 *} |