From d3b4b2055a531970d4f9cef917c9aac86fd7d35f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 3 Dec 2009 00:28:09 +0000
Subject: Revert spurious commits

---
 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 a826cae8..720e5480 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -19,8 +19,6 @@ proof
  qed
 qed
 
-(* quite nice I think but what if I type here? *)
-
 text {* Unstructured proof script. *}
 
 theorem  "A & B --> B & A"
-- 
cgit v1.2.3

