From maris@itd.dsto.oz.au  Sun Aug 26 22:20:45 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA27740; Sun, 26 Aug 90 22:20:45 PDT
Received: from munnari.OZ.AU by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA06628; Sun, 26 Aug 90 22:24:17 PDT
Received: from itd.dsto.oz (via augean) by munnari.oz.au with SunIII (5.61+IDA+MU)
        id AA00640; Mon, 27 Aug 1990 15:21:06 +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 AA14869; Mon, 27 Aug 90 14:19:56 pst
Received: by tcs2tarski.dsto.oz (4.0/SMI-3.2)
        id AA02237; Mon, 27 Aug 90 14:19:17 CST
Date: Mon, 27 Aug 90 14:19:17 CST
From: maris@itd.dsto.oz.au (Maris Ozols)
Message-Id: <9008270449.AA02237@tcs2tarski.dsto.oz>
To: info-hol@clover.ucdavis.edu
Subject: |info-hol mailing list|

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

