| changeset 11372 | 648795477bb5 |
| parent 11070 | cc421547e744 |
| child 12517 | 360e3215f029 |
| 11371:1d5d181b7e28 | 11372:648795477bb5 |
|---|---|
1 (* Title: HOL/MicroJava/J/Decl.thy |
1 (* Title: HOL/MicroJava/J/Decl.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: David von Oheimb |
3 Author: David von Oheimb |
4 Copyright 1997 Technische Universitaet Muenchen |
4 Copyright 1999 Technische Universitaet Muenchen |
5 *) |
5 *) |
6 |
6 |
7 header "Class Declarations and whole Programs" |
7 header "Class Declarations and whole Programs" |
8 |
8 |
9 theory Decl = Type: |
9 theory Decl = Type: |