Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!rutgers!pyrnj!pyrdc!uunet!munnari!otc!metro!basser!usage!ccadfa!anucsd!arp!atf From: atf@arp (Andre Fuhrmann) Newsgroups: comp.sys.mac Subject: MacSat 5/5 missing Keywords: Recent posting of MacSat in binaries Message-ID: <596@arp.anu.oz> Date: 15 Oct 88 05:24:24 GMT Organization: Automated Reasoning Project, ANU, Canberra, Australia Lines: 5 Part 5 of MacSat -- recently posted to mac.binaries -- didn't make it to Oz. Love to have a copy. Andre Fuhrmann ARP, ANU, GPO Box 4, ACT 2601, Australia