From 903d8016dd1302e0c52c2ca1266e11d7c83a94e9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 25 Aug 2010 16:51:59 +0000
Subject: Add unnecessary quote marks for consistent colouring

---
 isar/Example-Tokens.thy | 2 +-
 isar/Example.thy        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'isar')

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
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