From 22ceca15e3811a9a62dacf7b7c3bc0e80f99cd0e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Aug 2002 08:36:55 +0000
Subject: Remove comment at the end testing feature.  See etc/isar/Parsing.thy
 instead.

---
 isar/Example.thy | 2 --
 1 file changed, 2 deletions(-)

(limited to 'isar/Example.thy')

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 *)
-- 
cgit v1.2.3