From a4510d1973380ceeb3af221c48ae4b41249bd512 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 2010 07:54:20 +0000
Subject: Isabelle syntax update

---
 etc/isar/BigErrors.thy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/isar/BigErrors.thy b/etc/isar/BigErrors.thy
index 803fdf29..100eab6a 100644
--- a/etc/isar/BigErrors.thy
+++ b/etc/isar/BigErrors.thy
@@ -3,8 +3,8 @@
 theory BigErrors imports Pure 
 begin
 
-consts foo :: 'a;
-consts bar :: 'a;
+consts foo :: 'a
+consts bar :: 'a
 
 ML {* warning (cat_lines (List.tabulate (300,K "This is a big warning message"))); *}
 
-- 
cgit v1.2.3