diff options
Diffstat (limited to 'isar/Example.thy')
-rw-r--r-- | isar/Example.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/Example.thy b/isar/Example.thy index 0fe43c25..e869364b 100644 --- a/isar/Example.thy +++ b/isar/Example.thy @@ -24,7 +24,7 @@ theorem "A & B --> B & A" proof assume "A & B" then obtain B and A .. - then show "B & A" .. + then show "B & A" .. qed |