From 5e28d72761e5973ed3bd98bc998fa6d8495b8777 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 18 Aug 2005 15:35:24 +0000
Subject: isatool fixheaders;

---
 isar/Root2_Isar.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar/Root2_Isar.thy')

diff --git a/isar/Root2_Isar.thy b/isar/Root2_Isar.thy
index d09cc0d4..e02ef5fb 100644
--- a/isar/Root2_Isar.thy
+++ b/isar/Root2_Isar.thy
@@ -10,7 +10,7 @@
 
 header {*  Square roots of primes are irrational *}
 
-theory Root2_Isar = Primes + Complex_Main:
+theory Root2_Isar imports Primes Complex_Main begin
 
 subsection {* Preliminaries *}
 
-- 
cgit v1.2.3