Com S 541 Lecture -*- Outline -*-

* lift control system example (5.5)

  Skip this in class, let them read it for homework, or do something different

  See text and files TimerController.oz, Floor.oz, Lift.oz