diff options
| author | Makarius Wenzel | 1999-05-27 19:57:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-27 19:57:30 +0000 |
| commit | 67e52b4e6b7685006b591848c8c9f994a4d2dc2e (patch) | |
| tree | e6af4abb19a4807accd6e98cdacb0831af62f846 /isar/Example.thy | |
| parent | c910b667d522b8f45ec3ef5df69c91e10ec7a9a1 (diff) | |
oops;
Diffstat (limited to 'isar/Example.thy')
| -rw-r--r-- | isar/Example.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/Example.thy b/isar/Example.thy index f9807888..f1657227 100644 --- a/isar/Example.thy +++ b/isar/Example.thy @@ -4,7 +4,7 @@ theory Example = Main:; text {* Just a few tiny examples to get an idea of how Isabelle/Isar proof documents may look like. - *} + *}; lemma I: "A --> A"; proof; |