COP 4020 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,
  Building.oz, and LiftSystemTest.oz.

  The main start of it is in LiftSystemTest.oz.