From @ruuinf.cs.ruu.nl:pim@praxis.cs.ruu.nl  Fri May 25 06:08:35 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA17055; Fri, 25 May 90 06:08:35 PDT
Received: from [131.211.80.2] by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA21366; Fri, 25 May 90 06:12:22 PDT
Received: from austral.cs.ruu.nl by ruuinf.cs.ruu.nl with SMTP
        (5.61+/IDA-1.2.8) id AA09625; Fri, 25 May 90 15:08:24 +0100
Received: by praxis.cs.ruu.nl
        (15.11/15.6) id AA26945; Fri, 25 May 90 15:08:50 met
Date: Fri, 25 May 90 15:08:50 met
From: Pim Kars <pim@praxis.cs.ruu.nl>
Message-Id: <9005251308.AA26945@praxis.cs.ruu.nl>
Apparently-To: info-hol@clover.ucdavis.edu

Please put me on the HOL mailing list.

W.T.M. Kars                  Email: pim@cs.ruu.nl
Dept. of Computer Science,  University of Utrecht
P.O.Box 80.089, 3508 TB  Utrecht, The Netherlands
Tel.: +31-30-531807
Fax : +31-30-521105



