[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

expansion of LETREC

To: Paul Hudak <hudak@YALE.ARPA>
Subject: expansion of LETREC
From: Bill Rozas <JINX%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU>
Date: 3 Apr 1986 14:12 EST (Thu)
Cc: Jonathan A Rees <JAR@MC.LCS.MIT.EDU>, RRRS-AUTHORS@MC.LCS.MIT.EDU
In-reply-to: Msg of 3 Apr 1986 11:59-EST from Paul Hudak <hudak at YALE.ARPA>

Please ignore previous message.  Somehow I did not notice the
following lines (parser must have failed)

    Let xi' be like xi except that all (free) occurrences of vi are
    replaced with (force vi); similarly for body'.  Then:

Prev by Date: expansion of LETREC
Next by Date: LETREC (REC)
Prev by thread: expansion of LETREC
Next by thread: Re: expansion of LETREC
Index(es):
- Date
- Thread