From 63d0c2ee1db8b70e7fd4d1f3052d4a95dce0a0ec Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 18 Aug 1999 19:26:50 +0000
Subject: tuned;

---
 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 f1657227..84d56e14 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -22,7 +22,7 @@ proof;
 qed;
 
 text {*
- This one is a good test for ProofGeneral to cope with block-structured
+ This one is a good test for Proof General to cope with block-structured
  proof texts.  Have fun with automatic indentation!
  *};
 
-- 
cgit v1.2.3