From b35ce5388cfbd86b2be92e7acb56ff4aa215f58a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 10:42:23 +0000
Subject: Clean whitespace

---
 etc/isar/AThousandTheorems.thy | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'etc')

diff --git a/etc/isar/AThousandTheorems.thy b/etc/isar/AThousandTheorems.thy
index 68f3c474..233dc1ed 100644
--- a/etc/isar/AThousandTheorems.thy
+++ b/etc/isar/AThousandTheorems.thy
@@ -1010,3 +1010,6 @@ ML {* Output.warning (#message (end_timing start)); *}
 (* ELISP: -- (message "Time taken: %f seconds" (time-to-seconds (time-since start))) -- *)
 
 end
+
+
+
-- 
cgit v1.2.3