-
pfdietz authored
more powerful tests check-all-subtypep and check-all-not-subtypep, which test a number of relations that can be derived from the subtype (or, not-subtype) relation of the two types. Also, fix a place where test names weren't changed during cut/paste.
fa2e43e9