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-Tokens.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/isar/Example-Tokens.thy b/isar/Example-Tokens.thy
index 961b8d61..2106ccaf 100644
--- a/isar/Example-Tokens.thy
+++ b/isar/Example-Tokens.thy
@@ -18,7 +18,7 @@ proof
   assume "\<phi> \<and> \<psi>"
   then show "\<psi> \<and> \<phi>"
   proof
-    assume \<psi> and \<phi>
+    assume "\<psi>" and "\<phi>"
     then show ?thesis ..
  qed
 qed
-- 
cgit v1.2.3

