From 2e2334dcdb43bb645a5472e3ea5340e82e9d5308 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 28 Aug 2009 11:10:11 +0000
Subject: Attempt to duplicate Dixon bug

---
 etc/isar/BigErrorsNested.thy | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 etc/isar/BigErrorsNested.thy

(limited to 'etc/isar/BigErrorsNested.thy')

diff --git a/etc/isar/BigErrorsNested.thy b/etc/isar/BigErrorsNested.thy
new file mode 100644
index 00000000..69fa7142
--- /dev/null
+++ b/etc/isar/BigErrorsNested.thy
@@ -0,0 +1,6 @@
+(* See http://proofgeneral.inf.ed.ac.uk/trac/ticket/274 *)
+
+theory BigErrorsNested imports BigErrors 
+begin
+
+end
-- 
cgit v1.2.3

