CS 641 unit -*- Outline -*- meeting 1 (and a little more) * specifications meeting 2 * guarded-command-language meeting 3 * calculational-intermezzo meeting 4 * loopless-programs meeting 5 * loops-intro * developing-loops