From 5903d4c5739d899a6b2fcb7574814ebb9d37d4f0 Mon Sep 17 00:00:00 2001 From: David Aspinall 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