Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by nene.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Fri, 19 May 1995 17:26:21 +0100
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) 
          id LAA08384 for qed-out; Fri, 19 May 1995 11:15:26 -0500
Received: from catseye.idbsu.edu (catseye.idbsu.edu [132.178.200.125]) 
          by antares.mcs.anl.gov (8.6.10/8.6.10) with SMTP id LAA08366;
          Fri, 19 May 1995 11:15:13 -0500
Message-Id: <199505191615.LAA08366@antares.mcs.anl.gov>
Received: by catseye.idbsu.edu (1.38.193.4/16.2) id AA06238;
          Fri, 19 May 1995 10:20:03 -0600
Date: Fri, 19 May 1995 10:20:03 -0600
From: Randall Holmes <holmes@catseye.idbsu.edu>
To: owner-qed@mcs.anl.gov, qed@mcs.anl.gov
Subject: Re: Undefined terms
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

I didn't realize that my response to John went to the entire list!

I will take this opportunity to thank the numerous respondents 
who offered general advice on the topic of undefined terms or who
described approaches taken in specific systems; the response has been
considerable and useful!

					--Randall