thx2: theorem vs. swayzak
thx3: theorem vs. steuart walker
what's thx1 ?
-Gil (bitten by the record collecting bug :)
---------------------------------------------------------------------
To unsubscribe, e-mail: idm-unsubscribe@hyperreal.org
For additional commands, e-mail: idm-help@hyperreal.org