From acc66a4c5e2c75510b8c75b9e11f714300950e07 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 19 Jul 2008 16:09:27 +0000
Subject: Update for new syntax

---
 etc/isar/multiple/A.thy | 1 -
 etc/isar/multiple/D.thy | 6 +++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/etc/isar/multiple/A.thy b/etc/isar/multiple/A.thy
index 5c11b4fe..6bdadb9e 100644
--- a/etc/isar/multiple/A.thy
+++ b/etc/isar/multiple/A.thy
@@ -1,4 +1,3 @@
-
 theory A imports Pure 
 begin
 
diff --git a/etc/isar/multiple/D.thy b/etc/isar/multiple/D.thy
index ed405e30..3c78e542 100644
--- a/etc/isar/multiple/D.thy
+++ b/etc/isar/multiple/D.thy
@@ -1,4 +1,4 @@
+theory D imports Pure
+begin
 
-theory D = Pure:;
-
-end;
+end
-- 
cgit v1.2.3