Notes to Robinson, Aumann, and Bird

1. The first author runs Toolbox on Red Hat Linux (http://www.redhat.com/) using WINE (http://www.winehq.com/), the second on Ubuntu Linux (http://www.ubuntu.com/) using VMware (http://www.vmware.com/products/player/), and the third on Mac OSX (http://www.apple.com/macosx/) using Parallels (http://www.parallels.com/).