From 67e52b4e6b7685006b591848c8c9f994a4d2dc2e Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 27 May 1999 19:57:30 +0000
Subject: oops;

---
 isar/Example.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar/Example.thy')

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;
-- 
cgit v1.2.3

