Received: from antares.mcs.anl.gov (mcs.anl.gov [140.221.9.6]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id TAA02699; Thu, 11 Jan 1996 19:27:58 +0200
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id JAA28069 for qed-out; Thu, 11 Jan 1996 09:27:09 -0600
Received: from ra.abo.fi (ra.abo.fi [130.232.18.2]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id JAA28051 for <qed@mcs.anl.gov>; Thu, 11 Jan 1996 09:26:30 -0600
Received: from tanichka.abo.fi (root@tanichka.abo.fi [130.232.209.102]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id RAA27589; Thu, 11 Jan 1996 17:18:06 +0200
Received: from tanichka.abo.fi (jharriso@localhost [127.0.0.1]) by tanichka.abo.fi (8.6.10/8.6.10) with ESMTP id RAA01592; Thu, 11 Jan 1996 17:19:05 +0200
Message-Id: <199601111519.RAA01592@tanichka.abo.fi>
To: info-hol@leopard.cs.byu.edu, theory@cl.cam.ac.uk, hvg@cl.cam.ac.uk,
        ucam.cl.isabelle@cl.cam.ac.uk, fsdm-real@cs.uq.oz.au, qed@mcs.anl.gov,
        pvs@csl.sri.com, ifip-10.5@ics.uci.edu, theorynt@vm1.nodak.edu
cc: John Harrison <jharriso@ra.abo.fi>
Subject: Web page for 1996 International Conference on Theorem Proving in Higher Order Logics
Date: Thu, 11 Jan 1996 17:18:40 +0200
From: John Harrison <jharriso@ra.abo.fi>
Sender: owner-qed@mcs.anl.gov
Precedence: bulk


Further to the Call for Papers, there is a Web page for the 1996 International
Conference on Theorem Proving in Higher Order Logics. See:

  http://www.abo.fi/~jharriso/hol96.html

Apologies for multiple copies of this message.

John Harrison, Abo Akademi University.