diff options
-rw-r--r-- | generic/proof-depends.el | 8 |
1 files 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$ ;; |