| changeset 35069 | 09154b995ed8 |
| parent 35067 | af4c18c30593 |
| child 35315 | fbdc860d87a3 |
| 35068:544867142ea4 | 35069:09154b995ed8 |
|---|---|
1 (* Title: HOL/Bali/Decl.thy |
1 (* Title: HOL/Bali/Decl.thy |
2 ID: $Id$ |
|
3 Author: David von Oheimb and Norbert Schirmer |
2 Author: David von Oheimb and Norbert Schirmer |
4 *) |
3 *) |
5 header {* Field, method, interface, and class declarations, whole Java programs |
4 header {* Field, method, interface, and class declarations, whole Java programs |
6 *} |
5 *} |
7 |
6 |