From 5903d4c5739d899a6b2fcb7574814ebb9d37d4f0 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 3 Aug 2010 12:47:50 +0000
Subject: Fix theory name

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

(limited to 'isar/Example-Tokens.thy')

diff --git a/isar/Example-Tokens.thy b/isar/Example-Tokens.thy
index 6d2f69ec..961b8d61 100644
--- a/isar/Example-Tokens.thy
+++ b/isar/Example-Tokens.thy
@@ -9,7 +9,7 @@
       $Id$
 *)
 
-theory "Example-Xsym" imports Main begin
+theory "Example-Tokens" imports Main begin
 
 text {* Proper proof text -- \<^bitalic>naive version\<^eitalic>. *}
 
-- 
cgit v1.2.3

