Library snapshot for Com S 227.

The code in the ch*.ss files is from Springer and Friedman's book.

No guarantees or warranty for anything here.