diff options
| author | David Aspinall | 2010-08-03 12:47:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-03 12:47:50 +0000 |
| commit | 5903d4c5739d899a6b2fcb7574814ebb9d37d4f0 (patch) | |
| tree | e0ecfb7985fde25e3bc6272099f63d11ed808f5c | |
| parent | c0c6f5750e1c06cdf0f7ba5136e062341a39ab23 (diff) | |
Fix theory name
| -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>. *} |