diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 16:51:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 16:51:59 +0000 |
| commit | 903d8016dd1302e0c52c2ca1266e11d7c83a94e9 (patch) | |
| tree | b045a22c5cb183426797c7785735a1cd86fad0d9 /isar | |
| parent | e40db778de4fe20cd8eeccea9038bf3bbb1c6003 (diff) | |
Add unnecessary quote marks for consistent colouring
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/Example-Tokens.thy | 2 | ||||
| -rw-r--r-- | isar/Example.thy | 2 |
2 files changed, 2 insertions, 2 deletions
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 |