changeset 35069 | 09154b995ed8 |
parent 35067 | af4c18c30593 |
child 35416 | d8d7d1b785af |
35068:544867142ea4 | 35069:09154b995ed8 |
---|---|
1 (* Title: HOL/Bali/Eval.thy |
1 (* Title: HOL/Bali/Eval.thy |
2 ID: $Id$ |
|
3 Author: David von Oheimb |
2 Author: David von Oheimb |
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 *} |