Meet the new book, same as the old book
Thu 04 Jun 2009 09:43 PM
I uploaded the first new version of forall x in over a year. There are plenty of corrections, but no substantive changes. For uninteresting reasons, this new version is 1.27 - three increments later than the previous version 1.24.