From mboxrd@z Thu Jan  1 00:00:00 1970
Path: main.gmane.org!not-for-mail
From: secretary@lxny.org
Newsgroups: gmane.emacs.help
Subject: NYC LOCAL: CORRECTION: No H. P. Barendregt book at address given.
	Was: Tuesday 9 September 2003 Lisp NYC: Anton Stratten on the
	Lambda Calculus
Date: 9 Sep 2003 03:00:10 -0400
Organization: LXNY New York's Free Software Organization
Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org
Message-ID: <bjjtpq$15e$1@panix2.panix.com>
NNTP-Posting-Host: deer.gmane.org
X-Trace: sea.gmane.org 1063091383 7903 80.91.224.253 (9 Sep 2003 07:09:43 GMT)
X-Complaints-To: usenet@sea.gmane.org
NNTP-Posting-Date: Tue, 9 Sep 2003 07:09:43 +0000 (UTC)
Keywords: available, hackable, freely redistributable source;
	GPL, BSDL, ArtisticL, XSL
Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Tue Sep 09 09:09:41 2003
Return-path: <help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org>
Original-Received: from monty-python.gnu.org ([199.232.76.173])
	by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian))
	id 19wcdB-0005O3-00
	for <geh-help-gnu-emacs@m.gmane.org>; Tue, 09 Sep 2003 09:09:41 +0200
Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org)
	by monty-python.gnu.org with esmtp (Exim 4.22)
	id 19wcYq-0005pt-DZ
	for geh-help-gnu-emacs@m.gmane.org; Tue, 09 Sep 2003 03:05:12 -0400
Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!logbridge.uoregon.edu!panix!panix2.panix.com!not-for-mail
Original-Newsgroups: alt.religion.emacs, comp.lang.lisp, comp.lang.scheme,
	gnu.emacs.help, gnu.emacs.sources
Original-Followup-To: comp.lang.lisp
Original-Lines: 10
Original-NNTP-Posting-Host: panix2.panix.com
Original-X-Trace: reader2.panix.com 1063090810 21474 166.84.1.2 (9 Sep 2003 07:00:10
	GMT)
Original-X-Complaints-To: abuse@panix.com
Original-NNTP-Posting-Date: Tue, 9 Sep 2003 07:00:10 +0000 (UTC)
Original-Xref: shelby.stanford.edu alt.religion.emacs:8386 comp.lang.lisp:118024
	comp.lang.scheme:48326 gnu.emacs.help:116455 gnu.emacs.sources:9689
Original-To: help-gnu-emacs@gnu.org
X-BeenThere: help-gnu-emacs@gnu.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: Users list for the GNU Emacs text editor  <help-gnu-emacs.gnu.org>
List-Unsubscribe: <http://mail.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <http://mail.gnu.org/pipermail/help-gnu-emacs>
List-Post: <mailto:help-gnu-emacs@gnu.org>
List-Help: <mailto:help-gnu-emacs-request@gnu.org?subject=help>
List-Subscribe: <http://mail.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=subscribe>
Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org
Xref: main.gmane.org gmane.emacs.help:12374
X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:12374

I made the following claim in the announcement just sent:

 Here is the first edition of Henk Barendregt's standard work:

 http://www.andrew.cmu.edu/~cebrown/notes/barendregt.html

That page does not have the large book, but rather notes by Chad E. Brown
on the large book of H. P. Barendregt.

oo--JS.