catbox1.zip   A collection of 11 programs mostly concerned with graph theory. Disk 1/2
catbox2.zip   A collection of 11 programs mostly concerned with graph theory. Disk 2/2
isetl.zip     Interactive math. language based on sets.
isetldoc.zip  Documentation for isetl.zip.
isetlsrc.zip  Source code for isetl.zip.
jkpropc.zip   Propositional Logic Program.
jkxpres.zip   Extended Precision Integers.
truth.zip     Generates truth tables.
venn.zip      Displays Venn diagrams.
voting.zip    Illustrations of four voting schemes.