CS 641 Lecture -*- Outline -*-

	meeting 1
* definitions

* basic-transformers

* relational-updates

* duality

* preconditions-guards