src/HOL/Bali/Name.thy
changeset 16417 9bc16273c2d4
parent 14981 e73f8140af78
child 17160 fb65eda72fc7
--- a/src/HOL/Bali/Name.thy	Fri Jun 17 11:35:35 2005 +0200
+++ b/src/HOL/Bali/Name.thy	Fri Jun 17 16:12:49 2005 +0200
@@ -4,7 +4,7 @@
 *)
 header {* Java names *}
 
-theory Name = Basis:
+theory Name imports Basis begin
 
 (* cf. 6.5 *) 
 typedecl tnam	--{* ordinary type name, i.e. class or interface name *}