From 903d8016dd1302e0c52c2ca1266e11d7c83a94e9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2010 16:51:59 +0000
Subject: Add unnecessary quote marks for consistent colouring

---
 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 720e5480..01b755db 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -14,7 +14,7 @@ proof
   assume "A & B"
   then show "B & A"
   proof
-    assume B and A
+    assume "B" and "A"
     then show ?thesis ..
  qed
 qed
-- 
cgit v1.2.3

