src/HOL/UNITY/UNITY.thy

--- a/src/HOL/UNITY/UNITY.thy	Fri Jun 17 11:35:35 2005 +0200
+++ b/src/HOL/UNITY/UNITY.thy	Fri Jun 17 16:12:49 2005 +0200
@@ -10,7 +10,7 @@
 
 header {*The Basic UNITY Theory*}
 
-theory UNITY = Main:
+theory UNITY imports Main begin
 
 typedef (Program)
   'a program = "{(init:: 'a set, acts :: ('a * 'a)set set,