From 7e4fd2210f230faf4f8f254cf8f1c491f3477a09 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 24 Sep 1999 16:01:52 +0000
Subject: tuned;

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

(limited to 'isar/Example.thy')

diff --git a/isar/Example.thy b/isar/Example.thy
index 2b9c72f6..0f23f5d4 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -12,8 +12,8 @@ proof;
   assume "A & B";
   thus "B & A";
   proof;
-    assume B A;
-    thus ?thesis; ..;
+    assume A B;
+    show ?thesis; ..;
   qed;
 qed;
 
-- 
cgit v1.2.3

