From 5e28d72761e5973ed3bd98bc998fa6d8495b8777 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Thu, 18 Aug 2005 15:35:24 +0000
Subject: isatool fixheaders;

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

(limited to 'isar/Example.thy')

diff --git a/isar/Example.thy b/isar/Example.thy
index 77a14505..43f515ba 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -4,7 +4,7 @@
       $Id$
 *)
 
-theory Example = Main:
+theory Example imports Main begin
 
 text {* Proper proof text -- \textit{naive version}. *}
 
-- 
cgit v1.2.3

