From 913663834e5e5ce2818b3ec6218131c19863e802 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 4 Sep 2009 15:32:09 +0000
Subject: fixed theory name;

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

diff --git a/etc/isar/AThousandTheorems.thy b/etc/isar/AThousandTheorems.thy
index a56a7bf1..dfb31d58 100644
--- a/etc/isar/AThousandTheorems.thy
+++ b/etc/isar/AThousandTheorems.thy
@@ -1,4 +1,4 @@
-theory AThousandLines imports Main
+theory AThousandTheorems imports Main
 begin
 
 ML {* val start = start_timing(); *}
-- 
cgit v1.2.3