src/HOL/Bali/Name.thy

--- 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 *}