| changeset 12859 | f63315dfffd4 |
| parent 12857 | a4386cc9b1c3 |
| child 12925 | 99131847fb93 |
| 12858:6214f03d6d27 | 12859:f63315dfffd4 |
|---|---|
1 (* Title: HOL/Bali/AxSound.thy |
1 (* Title: HOL/Bali/AxSound.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: David von Oheimb |
3 Author: David von Oheimb |
4 Copyright 1999 Technische Universitaet Muenchen |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 *) |
5 *) |
6 header {* Soundness proof for Axiomatic semantics of Java expressions and |
6 header {* Soundness proof for Axiomatic semantics of Java expressions and |
7 statements |
7 statements |
8 *} |
8 *} |
9 |
9 |