From f2e7d83e6c2a68cc07b27332fc9cc7ef07400869 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 2 Aug 2000 15:34:38 +0000
Subject: tuned;

---
 isa/Example.thy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isa/Example.thy')

diff --git a/isa/Example.thy b/isa/Example.thy
index 84a71f31..252a5a4c 100644
--- a/isa/Example.thy
+++ b/isa/Example.thy
@@ -1,10 +1,10 @@
 (*
-    Example theory file for Isabelle  
+    Example theory file for Isabelle
 
     David Aspinall <da@dcs.ed.ac.uk>
 
     $Id$
 
-*)    
+*)
 
 Example = Main
-- 
cgit v1.2.3