From 60a0bcd3c8a15769756d470c70b53f674e58e104 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Mar 2005 12:32:18 +0000
Subject: Remove junk

---
 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 278e5964..77a14505 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -19,8 +19,6 @@ proof
  qed
 qed
 
-asd
-
 text {* Proper proof text -- \textit{advanced version}. *}
 
 theorem "A & B --> B & A"
-- 
cgit v1.2.3