This directory contains the PostScript for John Van Tassel's PhD dissertation
entitled "Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding
in the HOL Theorem-Prover".  The document runs to 122 pages, and is 
formatted for A4-sized (British) paper.  It should, however, print on
US 8.5x11 paper.  The files should be uncompressed and printed in the
following order:

   Bibliography.ps
   AppendixB.ps
   AppendixA.ps
   Ch7.ps
   Ch6.ps
   Ch5.ps
   Ch4.ps
   Ch3.ps
   Ch2.ps
   Ch1.ps
   TableofContents.ps
   Acknowledgements.ps
   Abstract.ps
   Copyright.ps
   Dedication.ps
   Title.ps

This dissertation is also available as University of Cambridge Computer
Laboratory Technical Report 317.  Copies may be obtained by writing to:

   University of Cambridge
   Computer Laboratory Bookshop
   New Museums Site
   Pembroke Street
   Cambridge  CB2 3QG
   ENGLAND

John Van Tassel
12 November 1993