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

---
 etc/isar/BigErrors.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/isar/BigErrors.thy b/etc/isar/BigErrors.thy
index 100eab6a..ec6d5580 100644
--- a/etc/isar/BigErrors.thy
+++ b/etc/isar/BigErrors.thy
@@ -17,4 +17,4 @@ ML {* Output.error_msg (cat_lines (List.tabulate (10000,K "This is a big error m
    interactively but does *not* generate an error when 
    required by another theory, see, BigErrorsNested *)
 
-end;
+end
-- 
cgit v1.2.3