From 76d6b0b2b1f039549d308a0d2c478a6b05869af9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jul 2008 09:51:53 +0000
Subject: Merge changes from Version4Branch.

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

(limited to 'isar/Example.thy')

diff --git a/isar/Example.thy b/isar/Example.thy
index 0fe43c25..e869364b 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -24,7 +24,7 @@ theorem "A & B --> B & A"
 proof
   assume "A & B"
   then obtain B and A ..
-  then show "B & A" ..
+  then show "B & A" .. 
 qed
 
 
-- 
cgit v1.2.3