Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Fri, 4 Sep 1992 14:20:51 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA04637;
          Fri, 4 Sep 92 06:09:35 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from utrhcs.cs.utwente.nl by ted.cs.uidaho.edu (16.6/1.34) id AA04629;
          Fri, 4 Sep 92 06:09:22 -0700
Received: from perseus.cs.utwente.nl by utrhcs.cs.utwente.nl (4.1/RBCS-2.3mx) 
          id AA09931; Fri, 4 Sep 92 15:08:10 +0200
Received: from utis143.cs.utwente.nl by perseus.cs.utwente.nl (4.1/RBCS-2.0) 
          id AA02863; Fri, 4 Sep 92 15:08:08 +0200
Date: Fri, 4 Sep 92 15:08:08 +0200
From: vdvoort@nl.utwente.cs (Mark van de Voort)
Message-Id: <9209041308.AA02863@perseus.cs.utwente.nl>
To: info-hol@edu.uidaho.cs.ted
Subject: Re: Inductive Definitions Report.
In-Reply-To: Mail from 'Matt Fairtlough <maf@dcs.ed.ac.uk>' dated: Fri, 04 Sep 92 10:45:05 +0100

Matt Fairtlough wrote

|> 
|> Dear Tom,
|> 
|> I would like a copy of your technical report on inductively defined
|> relations, please.  I wonder if it would also be possible to get hold
|> of a copy of Larry Paulson's old report on Well-founded recursion?
|> 

I too, am very interested in the report by Larry Paulson.
So any directions are most welcome.

Cheers,

Mark.