Interactive setl by Gary Levin <gary@clutx.clarkson.edu>.

Current version: 3.0.

binaries and source for ms-dos, macintosh, unix, vax/vms.

[Clarkson U. "An Introduction to ISETL Version 1.9", G.M. Levin, Dept MCS, Clarkson U].

["Learning discrete mathematics with ISETL", Nancy Baxter. Ed. Gary Levin Dubinsky. Springer-Verlag, c.1989.]

(Apr 1994)