From 9bfd6db50aedf254d2cbbc1bb7c141f0ec986fd5 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 14 Mar 2008 20:42:52 +0000
Subject: proper indentation;

---
 isar/Example-Xsym.thy | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'isar/Example-Xsym.thy')

diff --git a/isar/Example-Xsym.thy b/isar/Example-Xsym.thy
index d9b6a415..b864428f 100644
--- a/isar/Example-Xsym.thy
+++ b/isar/Example-Xsym.thy
@@ -14,8 +14,7 @@ proof
   then show "B \<and> A"
   proof
     assume B and A
-    then
-   show ?thesis ..
+    then show ?thesis ..
  qed
 qed
 
-- 
cgit v1.2.3