From 51c70ccb7627a871fe7f73632b57a4ca68575f4d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 26 Jul 2006 13:42:35 +0000
Subject: Change to new Isabelle syntax

---
 etc/isar/multiple/A.thy | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'etc/isar/multiple/A.thy')

diff --git a/etc/isar/multiple/A.thy b/etc/isar/multiple/A.thy
index 7ad1ddf6..5c11b4fe 100644
--- a/etc/isar/multiple/A.thy
+++ b/etc/isar/multiple/A.thy
@@ -1,5 +1,6 @@
 
-theory A = Pure:;
+theory A imports Pure 
+begin
 
 consts foo :: 'a;
 consts bar :: 'a;
-- 
cgit v1.2.3

