To run these files through the IFAD VDM-SL Toolbox, three projects 
have been created to check the explicit derivations, implicit 
specifications and a reification of the wire protocol.  The project 
files are thesis-explicit.prj, thesis-implicit.prj and 
thesis-wireprotocol.prj.

Both the projects and the directories themselves are self-standing 
and can be checked independently of the other by just opening the 
appropriate project.  Note that some files have been duplicated 
across projects to keep the Toolbox syntax and type checker 
satisfied.

Note also that because of the method that the toolbox uses to 
create project files the files in this directory MUST be in exactly 
the same path position as what was used to create the original 
project file.  For example, if the project was created in C:\foo\vdm 
then the files present in this directory must be copied to hang 
underneath C:\foo\vdm\explicit etc.  For this reason you may wish 
to create your own project files that recreate equivalent 
configurations with the exception of the path being adjusted 
appropriately.

The projects supplied assume that the "vdm" directory is copied to C:.  
If this is done then the project file supplied can be used as is.
