From maris@itd.dsto.oz.au  Sun Aug 26 23:09:20 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA28464; Sun, 26 Aug 90 23:09:20 PDT
Received: from munnari.OZ.AU by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA06965; Sun, 26 Aug 90 23:12:48 PDT
Received: from itd.dsto.oz (via augean) by munnari.oz.au with SunIII (5.61+IDA+MU)
        id AA01543; Mon, 27 Aug 1990 16:09:34 +1000
        (from maris@itd.dsto.oz.au for info-hol@clover.ucdavis.edu)
Received: from tcs2tarski.dsto.oz (tcs2tarski.ARPA) by fang.dsto.oz (1.2/4.7)
                id AA15754; Mon, 27 Aug 90 15:40:55 pst
Received: by tcs2tarski.dsto.oz (4.0/SMI-3.2)
        id AA02295; Mon, 27 Aug 90 15:40:17 CST
Date: Mon, 27 Aug 90 15:40:17 CST
From: maris@itd.dsto.oz.au (Maris Ozols)
Message-Id: <9008270610.AA02295@tcs2tarski.dsto.oz>
To: info-hol@clover.ucdavis.edu
Subject: info-hol mailing list

Could you please include me (maris@itd.dsto.oz.au) on the info-hol mailng list.
        Thankyou.

Maris

