SetsAndStuff.Install
Last tweaked by Mike Spreitzer on November 17, 1987 4:56:10 pm PST
Install IntStuff
Run SetTheoryPackage
Install StructuredStreams
Run SetPrinting