equal
deleted
inserted
replaced
4 Copyright 1999 Technische Universitaet Muenchen |
4 Copyright 1999 Technische Universitaet Muenchen |
5 *) |
5 *) |
6 |
6 |
7 header {* \isaheader{Relations between Java Types} *} |
7 header {* \isaheader{Relations between Java Types} *} |
8 |
8 |
9 theory TypeRel = Decl: |
9 theory TypeRel imports Decl begin |
10 |
10 |
11 consts |
11 consts |
12 subcls1 :: "'c prog => (cname \<times> cname) set" -- "subclass" |
12 subcls1 :: "'c prog => (cname \<times> cname) set" -- "subclass" |
13 widen :: "'c prog => (ty \<times> ty ) set" -- "widening" |
13 widen :: "'c prog => (ty \<times> ty ) set" -- "widening" |
14 cast :: "'c prog => (ty \<times> ty ) set" -- "casting" |
14 cast :: "'c prog => (ty \<times> ty ) set" -- "casting" |