diff options
| author | Makarius Wenzel | 2005-09-17 11:10:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-17 11:10:30 +0000 |
| commit | 5306636f1baafb513df058260493f7a80fddfc43 (patch) | |
| tree | 5645f7063ca5f66de47227c01539d1ff359aa6d0 /isar/Example-Xsym.thy | |
| parent | 8745d32b0be33418e9ada81001802185f00e7f90 (diff) | |
update examples for Isabelle2005;
Diffstat (limited to 'isar/Example-Xsym.thy')
| -rw-r--r-- | isar/Example-Xsym.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/Example-Xsym.thy b/isar/Example-Xsym.thy index 50376096..d9b6a415 100644 --- a/isar/Example-Xsym.thy +++ b/isar/Example-Xsym.thy @@ -4,7 +4,7 @@ $Id$ *) -theory Example imports Main begin +theory "Example-Xsym" imports Main begin text {* Proper proof text -- \textit{naive version}. *} |