From 2a6f0a2e6c75fcf67eabc340fe168f10c808a882 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Dec 2009 09:36:05 +0000
Subject: typo

---
 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 35807855..6d2f69ec 100644
--- a/isar/Example-Tokens.thy
+++ b/isar/Example-Tokens.thy
@@ -3,7 +3,7 @@
       using symbols.  
       View and process this document with Unicode Tokens engaged.
    
-      For an more exaustive test of token display, visit the test
+      For a more exhaustive test of token display, visit the test
       file etc/isar/TokensAcid.thy
 
       $Id$
-- 
cgit v1.2.3

