From 8bdc045f2d82c165ba88048bcd64dfbf8a46ec36 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Apr 2004 09:46:59 +0000
Subject: Updated.

---
 etc/isar/XSymbolTests.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/isar/XSymbolTests.thy')

diff --git a/etc/isar/XSymbolTests.thy b/etc/isar/XSymbolTests.thy
index 8862cee2..b03edfe5 100644
--- a/etc/isar/XSymbolTests.thy
+++ b/etc/isar/XSymbolTests.thy
@@ -8,7 +8,7 @@
 
 theory XSymbolTests = Main:
 
-(* Thu Sep 25 16:26:47 BST 2030.  
+(* Thu Sep 25 16:26:47 BST 2003.  
    Problem reported by Norbert Schirmer <norbert.schirmer@web.de>
    Currently, superscript output highlighting seems broken anyway? *)
 
-- 
cgit v1.2.3

