ladkin@KESTREL.ARPA (Peter Ladkin) (03/15/88)
If either you are Mike McRobbie of ANU, or you know his current address, please let me know what it is! Thanks, peter ladkin ladkin@kestrel.arpa
lusk%antares@ANL-MCS.ARPA (03/31/88)
Here is everything I know about Zorba: (well, not quite everything) alias mcrobbie mam%arp.anu.oz@uunet.uu.net Michael McRobbie 61-62-492035 \ Dr. Michael McRobbie, Automated Reasoning Project, RSSS, \ Australian National University, G.P.O. Box 4, Canberra, 2601, A.C.T.