Return-Path: Received: from kantti.helsinki.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0rX5AE-00007VC; Wed, 25 Jan 95 12:41 EET Received: from fiport.funet.fi (fiport.funet.fi [128.214.109.150]) by kantti.helsinki.fi (8.6.9/8.6.5) with ESMTP id MAA01778 for ; Wed, 25 Jan 1995 12:41:24 +0200 Received: from SEARN.SUNET.SE (MAILER@SEARN) by FIPORT.FUNET.FI (PMDF V4.3-13 #2494) id <01HM9E0C65YO00008H@FIPORT.FUNET.FI>; Wed, 25 Jan 1995 10:36:56 +0200 (EET) Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 9442; Wed, 25 Jan 1995 11:38:02 +0100 Date: Wed, 25 Jan 1995 05:39:45 -0500 From: Logical Language Group Subject: Re: whiskey lovers Sender: Lojban list To: Veijo Vilva Reply-to: Logical Language Group Message-id: <01HM9E0CYYXI00008H@FIPORT.FUNET.FI> X-Envelope-to: veion@XIRON.PC.HELSINKI.FI Content-transfer-encoding: 7BIT X-To: jorge@PHYAST.PITT.EDU X-cc: lojban@cuvmb.cc.columbia.edu MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Length: 582 Lines: 13 >Has Cowan really specified that? I've been arguing that {dakau} cannot >be the lambda variable ... I am going by the last incarnation of the abstraction paper. We discussed it at LogFest, and Cowan may or may not have modified thingss as a result of LogFest. Both he and I have been extremely lacking in Lojban time since last summer, and I think almost no substantive decisions have been made or changed since LogFest. (Not to mention that your 4 month discussion on "any" remains totally unresolved - no decisions ass yet on any changes as a result of that, either.) lojbab