diff options
Diffstat (limited to 'etc/isar/TokensAcid.thy')
| -rw-r--r-- | etc/isar/TokensAcid.thy | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/etc/isar/TokensAcid.thy b/etc/isar/TokensAcid.thy index a7f146f2..60c4ff06 100644 --- a/etc/isar/TokensAcid.thy +++ b/etc/isar/TokensAcid.thy @@ -1,6 +1,10 @@ -(* Some acid tests for token modes in Isabelle +(* + Some acid tests for token modes in Isabelle David Aspinall, 2008-9. $Id$ + + Note: + Unicode Tokens mode works much better in Emacs 23 than 22. *) theory TokensAcid imports Main |