| changeset 12925 | 99131847fb93 |
| parent 12859 | f63315dfffd4 |
| child 12937 | 0c4fd7529467 |
| 12924:02eb40cde931 | 12925:99131847fb93 |
|---|---|
1 (* Title: HOL/Bali/Decl.thy |
1 (* Title: HOL/Bali/Decl.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: David von Oheimb |
3 Author: David von Oheimb and Norbert Schirmer |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 *) |
5 *) |
6 header {* Field, method, interface, and class declarations, whole Java programs |
6 header {* Field, method, interface, and class declarations, whole Java programs |
7 *} |
7 *} |
8 |
8 |