Return-Path:
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 <09656-0@swan.cl.cam.ac.uk>; Mon, 24 Feb 1992 14:21:51 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02236;
          Mon, 24 Feb 92 06:10:02 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from ruuinf.cs.ruu.nl by ted.cs.uidaho.edu (16.6/1.34) id AA02161;
          Mon, 24 Feb 92 06:09:53 -0800
Received: from ameland.cs.ruu.nl by ruuinf.cs.ruu.nl
          with SMTP (5.61+/IDA-1.2.8) id AA28241; Mon, 24 Feb 92 15:09:15 +0100
Received: by alchemy.cs.ruu.nl (16.6/15.6) id AA03297;
          Mon, 24 Feb 92 15:11:43 +0100
Date: Mon, 24 Feb 92 15:11:43 +0100
From: Doaitse Swierstra <doaitse@nl.ruu.cs>
Message-Id: <9202241411.AA03297@alchemy.cs.ruu.nl>
To: mjcg@uk.co.sri
Cc: info-hol@edu.uidaho.cs.ted
In-Reply-To: Mike Gordon's message of Fri, 21 Feb 92 16:25:34 GMT <9202211625.AA25755@chepstow.cam.sri.com>
Subject: HOL book


Sounds like a nice idea. The main question is whether it will be usable as
a text book. This easily multiplies the number of copies sold by a order of
magnitude. In my opinion however most books published are far to expensive
considering the fact that the text is supplied in camera-ready form. If you
are not intersted in the rpofit, and are interested in a wide use, make the
sources ftp-able and let the people produce their own copies.
                 Doaitse Swierstra