changeset 35069 | 09154b995ed8 |
parent 32960 | 69916a850301 |
child 39159 | 0dec18004e75 |
35068:544867142ea4 | 35069:09154b995ed8 |
---|---|
1 (* Title: HOL/Bali/Evaln.thy |
1 (* Title: HOL/Bali/Evaln.thy |
2 ID: $Id$ |
|
3 Author: David von Oheimb and Norbert Schirmer |
2 Author: David von Oheimb and Norbert Schirmer |
4 *) |
3 *) |
5 header {* Operational evaluation (big-step) semantics of Java expressions and |
4 header {* Operational evaluation (big-step) semantics of Java expressions and |
6 statements |
5 statements |
7 *} |
6 *} |