is there a difference between <-- and <= ? I don't think so. I was just following Pat's lead and using KIFish notation. -- DrewReceived on Tuesday, 20 March 2001 11:50:40 GMT
This archive was generated by hypermail 2.2.0+W3C0.50 : Wednesday, 11 January 2006 15:19:05 GMT