diff options
Diffstat (limited to 'isar/Example-Tokens.thy')
-rw-r--r-- | isar/Example-Tokens.thy | 2 |
1 files changed, 1 insertions, 1 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 |