diff options
Diffstat (limited to 'isar/Example-Tokens.thy')
| -rw-r--r-- | isar/Example-Tokens.thy | 2 |
1 files changed, 1 insertions, 1 deletions
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>. *} |