Com S 342 meeting -*- Outline -*-

	in Spring 1996 and thereafter, skipped all this

	lecture 1
* reasoning

	lecture 1-2
* beta

	in Fall 1995 and and thereafter, skipped
	the book's sections on reduction strategies and recursion