changeset 41589 | bbd861837ebc |
parent 35416 | d8d7d1b785af |
child 44013 | 5cfc1c36ae97 |
41588:9546828c0eb3 | 41589:bbd861837ebc |
---|---|
1 (* Title: HOL/MicroJava/J/TypeRel.thy |
1 (* Title: HOL/MicroJava/J/TypeRel.thy |
2 ID: $Id$ |
2 Author: David von Oheimb, Technische Universitaet Muenchen |
3 Author: David von Oheimb |
|
4 Copyright 1999 Technische Universitaet Muenchen |
|
5 *) |
3 *) |
6 |
4 |
7 header {* \isaheader{Relations between Java Types} *} |
5 header {* \isaheader{Relations between Java Types} *} |
8 |
6 |
9 theory TypeRel imports Decl begin |
7 theory TypeRel imports Decl begin |