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; Fri, 12 Nov 1993 11:51:04 +0000 Received: by leopard.cs.byu.edu (1.37.109.7/16.2) id AA23017; Fri, 12 Nov 93 04:36:18 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.7/16.2) id AA23013; Fri, 12 Nov 93 04:36:07 -0700 Received: from swan.cl.cam.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA03368; Fri, 12 Nov 93 03:33:49 -0800 Received: from cormorant.cl.cam.ac.uk (user jvt (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Fri, 12 Nov 1993 11:33:40 +0000 Received: by cormorant.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA14753; Fri, 12 Nov 93 11:33:35 GMT Date: Fri, 12 Nov 93 11:33:35 GMT From: John.Van-Tassel@cl.cam.ac.uk Message-Id: <9311121133.AA14753@cormorant.cl.cam.ac.uk> To: info-hol@cs.uidaho.edu Subject: Thesis available To whom it may concern: I am making the PostScript for my PhD dissertation entitled "Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding in the HOL Theorem-Prover" available via anonymous FTP from the University of Cambridge. The document runs to 122 pages, and is formatted for A4-sized (British) paper. It should, however, print on US 8.5x11 paper. To retrieve the files connect to ftp.cl.cam.ac.uk and retreive everything in the directory hvg/papers/JVTthesis. The READ-ME file in that directory gives instructions for printing. John Van Tassel 12 November 1993