src/HOL/UNITY/Project.thy

--- a/src/HOL/UNITY/Project.thy	Fri Jun 17 11:35:35 2005 +0200
+++ b/src/HOL/UNITY/Project.thy	Fri Jun 17 16:12:49 2005 +0200
@@ -10,7 +10,7 @@
 
 header{*Projections of State Sets*}
 
-theory Project = Extend:
+theory Project imports Extend begin
 
 constdefs
   projecting :: "['c program => 'c set, 'a*'b => 'c,