CS 641 Lecture -*- Outline -*-

	meeting 1
* syntax

* semantics

* reasoning