CS 641 unit -*- Outline -*-

	meeting 1
* intro

	meetings 2-8
* weakest-preconditions