1 files changed, 1 insertions, 4 deletions
diff --git a/isa/example.ML b/isa/example.ML
index 8ea12dfd..41ea20be 100644
--- a/isa/example.ML
+++ b/isa/example.ML
@@ -1,10 +1,7 @@
 (*
-    Example proof script for Isabelle
-
-    David Aspinall <da@dcs.ed.ac.uk>
+    Example proof script for Isabelle Proof General.
 
     $Id$
-
 *)    
 
 Goal "(A & B)-->(B & A)";