2003-03-02

CS157: Computational Logic class notes etc. available.