CS 641 unit -*- Outline -*- meeting 1 * specification meeting 2 * annotation meeting 3-4 * procedures meeting 4-5 * homomorphisms-induction-rule * repetition