diff options
Diffstat (limited to 'isar/Example-Tokens.thy')
| -rw-r--r-- | isar/Example-Tokens.thy | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/isar/Example-Tokens.thy b/isar/Example-Tokens.thy index d9e5ca4d..35807855 100644 --- a/isar/Example-Tokens.thy +++ b/isar/Example-Tokens.thy @@ -3,6 +3,9 @@ using symbols. View and process this document with Unicode Tokens engaged. + For an more exaustive test of token display, visit the test + file etc/isar/TokensAcid.thy + $Id$ *) |