Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id SAA01618; Thu, 11 Jan 1996 18:55:15 +0200 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA051134199; Thu, 11 Jan 1996 08:29:59 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: list Received: from ra.abo.fi by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA051094192; Thu, 11 Jan 1996 08:29:52 -0700 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 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 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.