2/16    Is there no motd reader who has softcopies of hilfinger's 61b notes?
        I find this hard to believe.
        \_ I'm sorry, my dog ate it.  After he deleted it from my hard disk.
        \_ I have it.  Who are you?
           \_ could you e-mail them to me?  thanks. - jameslin