CS 228 unit -*- Outline -*-

	lecture 1
* introduction

	lecture 1-2
* designing-ops

	lecture 2-3
* correctness

* specification-issues
	not used in 1995

* summary
	not used in 1995