diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 12:47:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 12:47:50 +0000 |
| commit | 5903d4c5739d899a6b2fcb7574814ebb9d37d4f0 (patch) | |
| tree | e0ecfb7985fde25e3bc6272099f63d11ed808f5c /isar/Example-Tokens.thy | |
| parent | c0c6f5750e1c06cdf0f7ba5136e062341a39ab23 (diff) | |
Fix theory name
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>. *} |