equal
deleted
inserted
replaced
9 theory Type = JBasis: |
9 theory Type = JBasis: |
10 |
10 |
11 typedecl cname (* class name *) |
11 typedecl cname (* class name *) |
12 typedecl vnam (* variable or field name *) |
12 typedecl vnam (* variable or field name *) |
13 typedecl mname (* method name *) |
13 typedecl mname (* method name *) |
14 arities cname :: "term" |
|
15 vnam :: "term" |
|
16 mname :: "term" |
|
17 |
14 |
18 datatype vname (* names for This pointer and local/field variables *) |
15 datatype vname (* names for This pointer and local/field variables *) |
19 = This |
16 = This |
20 | VName vnam |
17 | VName vnam |
21 |
18 |