diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:46:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:46:23 +0000 |
| commit | e5e484f6a6c9bfb23881116e9c11f54183218eed (patch) | |
| tree | 40ac1f8e9eac469a52b577b38dea86e50fdb89a5 /generic/proof-depends.el | |
| parent | f4f8a304d04b850d4b265c1fb0b2765ceedf8cc4 (diff) | |
Comments
Diffstat (limited to 'generic/proof-depends.el')
| -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$ ;; |