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