Shiny new versions
Mon 15 Jan 2007 02:09 AM
I recently posted a new draft of my induction paper. Having taught with forall x last term, I had the opportunity to catch some errors and infelicities. They have been exchanged for felicities, and the new version 1.21 is on-line.