Theorems for free.

[Long Goodbye]

I have heard that Philip Wadlers article "Theorems for free" has
been written in a "CT terms" version in addition to the one that can be 
found at Nec.
If this is the case then I would very much like to have a pointer to
where this file can be found.

Thank you,

Henrik Ljung

_________________________________________________________________
Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp.