From 3ebd8547bc8c938bd50fd4876c1f72d46dccb83c Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 15 Feb 2005 18:43:22 +0000
Subject: Changes from Clemens Ballarin for large X-Symbol fonts

---
 isar/Example.thy | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isar/Example.thy')

diff --git a/isar/Example.thy b/isar/Example.thy
index c86bf89a..278e5964 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -19,6 +19,7 @@ proof
  qed
 qed
 
+asd
 
 text {* Proper proof text -- \textit{advanced version}. *}
 
-- 
cgit v1.2.3