equal
deleted
inserted
replaced
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: David von Oheimb |
3 Author: David von Oheimb |
4 *) |
4 *) |
5 header {* Java names *} |
5 header {* Java names *} |
6 |
6 |
7 theory Name = Basis: |
7 theory Name imports Basis begin |
8 |
8 |
9 (* cf. 6.5 *) |
9 (* cf. 6.5 *) |
10 typedecl tnam --{* ordinary type name, i.e. class or interface name *} |
10 typedecl tnam --{* ordinary type name, i.e. class or interface name *} |
11 typedecl pname --{* package name *} |
11 typedecl pname --{* package name *} |
12 typedecl mname --{* method name *} |
12 typedecl mname --{* method name *} |