From e5e484f6a6c9bfb23881116e9c11f54183218eed Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Apr 2004 16:46:23 +0000
Subject: Comments

---
 generic/proof-depends.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/generic/proof-depends.el b/generic/proof-depends.el
index 96dbedc9..7532a92e 100644
--- a/generic/proof-depends.el
+++ b/generic/proof-depends.el
@@ -1,10 +1,10 @@
 ;; proof-depends.el  Theorem-theorem and theorem-definition dependencies.
 ;;
-;; Copyright (C) 2000-2002 University of Edinburgh. 
+;; Copyright (C) 2000-2004 University of Edinburgh. 
 ;; Authors:      David Aspinall <David.Aspinall@ed.ac.uk>
-;;	           Earlier version by Fiona McNeil.
-;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
-;; Status:      Experimental code
+;;	         Earlier version by Fiona McNeil.
+;; License:      GPL (GNU GENERAL PUBLIC LICENSE)
+;; Status:       Experimental code
 ;;
 ;; $Id$
 ;; 
-- 
cgit v1.2.3