Copyright (c) 1989-1996 by Gary T. Leavens.
Permission is granted for you to make copies for educational and scholarly
purposes, but not for direct commercial advantage, provided this notice
appears on all copies.  All other rights reserved.

No guarantees or warranty for anything here.

The st-interpreter directory contains files for homework 2.
The INSTdesign.ps file contains more documentation for homework 2.
The lambda-prolog-code directory contains files for homework 4.
The lambda-in-lambda-prolog directory contains files for homework 5.