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+W3C-0.50 : Tuesday, 27 October 2009 08:34:45 GMT