diff options
| author | David Aspinall | 2009-08-28 16:53:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-28 16:53:54 +0000 |
| commit | fe925c18df503158bafb377fa09f0d4423c0b734 (patch) | |
| tree | 17a3ce02c1e030c875137eba137ac62b84a8e48a /isar | |
| parent | 096f56044f4eec14b9cd7009e87a86938bcdffee (diff) | |
Doc: pointer to TokensAcid
Diffstat (limited to 'isar')
| -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$ *) |