X-Comment1: #############################################################
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail #
X-Comment4: # administrator to update your NRS & mailer tables. #
X-Comment5: #############################################################
> Superclasses
> ~~~~~~~~~~~~
> Proposed: If a type T is declared to be an instance of a class C then T must
> also be explicitly declared to be an instance of C's superclasses.
Clarification: presumably, perhaps implicitly via a derived instance?
Kevin
