error

• From: Kostya Serebriany <kostya_silver@yahoo.com>
• Date: Thu, 13 Aug 1998 01:16:42 -0700 (PDT)
• To: www-math@w3.org
• Message-ID: <19980813081642.19054.rocketmail@send101.yahoomail.com>

Hello, All.
This is taken from manual:

The lambda construct
     with n internal variables takes n + 1 children. The first
(second, up to n) is a _bvar_ containing the identifiers of the
internal variables.

This is also taken from manual:

<declare type="fn">
       <ci> J </ci>
       <lambda><ci> x </ci>
         <apply><ln/>
           <ci> x </ci>
         </apply>
       </lambda>
</declare>


Kostya


_________________________________________________________
DO YOU YAHOO!?
Get your free @yahoo.com address at http://mail.yahoo.com

Received on Thursday, 13 August 1998 04:16:55 UTC