From d6fba1f7a8811d92358898bc007c644cf2c72a57 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 28 Aug 2009 16:53:17 +0000
Subject: Updated.

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

(limited to 'etc/isar')

diff --git a/etc/isar/BackslashInStrings.thy b/etc/isar/BackslashInStrings.thy
index b1f91803..2161ed8a 100644
--- a/etc/isar/BackslashInStrings.thy
+++ b/etc/isar/BackslashInStrings.thy
@@ -1,4 +1,4 @@
-theory BackslashInStrings = Main:
+theory BackslashInStrings imports Main begin
 
 consts test :: string
 
-- 
cgit v1.2.3