catbox1.zip   1262694  05-10-95  A collection of 11 programs mostly
                               | concerned with graph theory. Disk 1/2
catbox2.zip   1434571  05-10-95  A collection of 11 programs mostly
                               | concerned with graph theory. Disk 2/2
isetl.zip      136637  07-22-94  Interactive math. language based on sets.
isetldoc.zip    37757  07-22-94  Documentation for isetl.zip.
isetlsrc.zip   193728  07-22-94  Source code for isetl.zip.
jkpropc.zip     46090  10-18-94  Propositional Logic Program.
jkxpres.zip    100804  10-18-94  Extended Precision Integers.
truth.zip      125334  07-22-94  Generates truth tables.
venn.zip       173115  07-22-94  Displays Venn diagrams.
voting.zip     129257  07-22-94  Illustrations of four voting schemes.