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/C.thy | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/etc/isar/multiple/C.thy b/etc/isar/multiple/C.thy
index d295f55a..079a1f78 100644
--- a/etc/isar/multiple/C.thy
+++ b/etc/isar/multiple/C.thy
@@ -1,5 +1,6 @@
 (* -*- isar -*- *)
 
-theory C = A + B:;
+theory C imports A B
+begin
 
-end;
+end
-- 
cgit v1.2.3

