Andrew Reutter - 2001-10-10
  • summary: Typechecking should be interface checkin --> Typechecking should be interface checking