CS 342 Lecture -*- Outline -*- for SASL

	lectures 1-3 (half)
* introduction

	lecture 3
* interpreter

	lecture 4
* reachability

	lecture 5
* real-sasl
	explian ZF expressions

	lectures 5-6
* lambda-calculus

	recitation (in theory)
* review