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

---
 isar/Example.thy | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'isar/Example.thy')

diff --git a/isar/Example.thy b/isar/Example.thy
index 34c840fe..720e5480 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -4,6 +4,7 @@
       $Id$
 *)
 
+
 theory Example imports Main begin
 
 text {* Proper proof text -- \textit{naive version}. *}
@@ -28,4 +29,5 @@ theorem  "A & B --> B & A"
   apply assumption
 done
 
+
 end
-- 
cgit v1.2.3

