Or that he would have in 1992. The landscape has changed quite a bit since then.
And the terminology has improved greatly since then; for instance, nowadays the requirement would be described as making CLISP "GPL-compatible", rather than putting it under the GPL.