Re: updated strawman model theory [semi-humor]

Brian McBride wrote:
> 
> Frank Manola wrote:
> [...]
> > > Can we call them deeleys?
> >
> > I think we better reserve deeleys for when we need to clarify thingies.
> 
> How about gensym:0101293485832346509234589a098?

Kind of unpronouncable isn't it?  Also, isn't that only when we want to
refer to existentially quantified variables?  (Oops!  Wrong thread!) 
:-)

-- 
Frank Manola                   The MITRE Corporation
202 Burlington Road, MS A345   Bedford, MA 01730-1420
mailto:fmanola@mitre.org       voice: 781-271-8147   FAX: 781-271-8752

Received on Tuesday, 24 July 2001 16:03:42 UTC