Wed, 29 Jan 1997 15:34:23 +0100 | paulson | The redeclaration of qed_spec_mp is unnecessary because it is now declared | file | diff | annotate |
Thu, 05 Dec 1996 19:03:08 +0100 | paulson | Updating of banner | file | diff | annotate |
Tue, 10 Sep 1996 11:07:16 +0200 | paulson | Dedicated root file for making the Auth database | file | diff | annotate |