We are phasing out the local mirror because it is no longer needed. Maude can be obtained from its here.
Dr Neal Harman
Department of Computer Science
University of Wales Swansea
Singleton Park
Swansea
SA2 8PP
United Kingdom
N.A.Harman@swan.ac.uk
t 01792 295394
f 01792 295708