Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <07229-0@swan.cl.cam.ac.uk>; Sat, 30 May 1992 15:49:30 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05583;
          Sat, 30 May 92 07:41:59 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA05579;
          Sat, 30 May 92 07:41:54 -0700
Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk 
          with SMTP (PP-6.0) to cl id <07102-0@swan.cl.cam.ac.uk>;
          Sat, 30 May 1992 15:42:22 +0100
To: info-hol@edu.uidaho.cs.ted, hall@edu.uidaho.cs.cheetah
Cc: Tom.Melham@uk.ac.cam.cl
Subject: mistake.
Date: Sat, 30 May 92 15:42:19 +0100
From: Tom Melham <Tom.Melham@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.104:30.04.92.14.42.25"@cl.cam.ac.uk>


Regarding my recent message:

> All supporting materials for case studies in the OLD tutorial volume
> are resident in the current release in hol/Training/studies.

It has been pointed out to me that, in fact, the ML files for the
microprocessor case study are not there.  Sorry about that.

The *other* case studies in hol/Training/studies do include ML code.

Tom