CS 641 Lecture -*- Outline -*-

	meeting 1
* properties

* derivations

* definitions

* products