Apart from updating the current status and contact information the only significant differences are that in the original paper there was no "if" after the guard comma and list comprehensions were called "ZF expressions" (because the idea comes from a similar notation in Zermlo-Frankel set theory). Both changes were made in 1988.