Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 19 Oct 1994 19:51:19 +0100 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA04439; Wed, 19 Oct 1994 12:38:31 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA04434; Wed, 19 Oct 1994 12:38:21 -0600 Received: from switha.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP); Wed, 19 Oct 1994 19:29:19 +0100 To: info-hol@leopard.cs.byu.edu Cc: tfm@dcs.gla.ac.uk Subject: |-HOL94 Archive on WWW. Date: Wed, 19 Oct 1994 19:29:15 +0100 From: HUG94 Workshop Message-ID: <"swan.cl.cam.:138930:941019185205"@cl.cam.ac.uk> I have created an archive for the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, which took place in Malta during 19-22 September 1994. This contains information about the conference, including: * bibliographical information about the formal proceedings * PostScript for the preliminary pages of the formal proceedings * an "electronic copy" of the supplementary proceedings, including PostScript for (most of) the papers * the minutes prepared by Richard Boulton of the discussion and business sessions held at the conference The URL is http://www.dcs.glasgow.ac.uk/~hug94/ From this, everything is accessible. But you can also use good old-fashoned ftp if you prefer: ftp://www.dcs.glasgow.ac.uk/pub/hug94/ Enjoy! Tom PS: I have yet to obtain permission to distribute three of the papers from the supplementary proceedings, so please check back in a few days if a paper you want is missing.