src/HOL/Auth/Guard/Analz.thy

--- a/src/HOL/Auth/Guard/Analz.thy	Fri Jun 17 11:35:35 2005 +0200
+++ b/src/HOL/Auth/Guard/Analz.thy	Fri Jun 17 16:12:49 2005 +0200
@@ -11,7 +11,7 @@
 
 header{*Decomposition of Analz into two parts*}
 
-theory Analz = Extensions:
+theory Analz imports Extensions begin
 
 text{*decomposition of @{term analz} into two parts: 
       @{term pparts} (for pairs) and analz of @{term kparts}*}