[CST-2] Strictness 99.8.7

[M.Y.W.Y. Becker]

--On 01 June 2001 17:03 +0100 Phebe Mann <pm258@hermes.cam.ac.uk> wrote:
[...]
> (SUB rule)
>    |' |- f : int^k  --> (S) int   if S' is a subset of S
> -----------------------------
>    |' |- f : int^k  --> (S') int
> where S' is a subset of S
[...]

That's wrong. Raymond's answer was already 100% correct (I believe).

Mo