forall x rides again
Thu 10 Jan 2008 12:01 AM
In my logic class, I offer students extra credit for finding errors in forall x. As errors are discovered and corrected, opportunities for these bonuses are diminishing. I have now fixed the minor errors that students found last Fall, yielding the new version 1.24 [080109]