Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!snorkelwacker.mit.edu!bu.edu!wang!wdr
From: wdr@wang.com (William Ricker)
Newsgroups: comp.lang.misc
Subject: Re: SETL
Keywords: SETL, set language
Message-ID: <b4vd19.htq@wang.com>
Date: 3 May 91 22:27:07 GMT
References: <13240@pasteur.Berkeley.EDU> <1591@acf5.NYU.EDU>
Organization: Wang Labs, Lowell MA, USA
Lines: 13

I don't know about SETL distribution, but the ISETL interactive version
was listed in COMP.ARCHIVES master file as being at:
clutx.clarkson.edu                 128.153.4.3     BBSLists Batch ISETL
which is reasonable since clarkson is where Gary Levin made it interactive.

Reference: N.Baxter, E.Dubinsky, & G.Levin, /Learning Discrete Mathematics
with ISETL/, Springer-Verlag, 1988, cited in Proc. NEMATYC'90.


-- 
/s/ Bill Ricker                wdr@wang.wang.com 
"The Freedom of the Press belongs to those who own one."
*** Warning: This account is not authorized to express opinions. ***