1 files changed, 0 insertions, 2 deletions

diff --git a/isar/Example.thy b/isar/Example.thy
index 4cf33e0b..0d7edca7 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -45,5 +45,3 @@ theorem "A & B --> B & A"
 done
 
 end
-
-(* comment at the end *)