From cdb10f1498051c9fd4a81c7cb21f8668886ea008 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 25 Jan 2011 20:31:13 +0000
Subject: Remove semis

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

(limited to 'etc')

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