On 1/4/06, Martin Wohlert <martin_wohlert at hotmail.com> wrote: > Davdi Silverrock <davdisil at gmail.com> wrote: > > >Indeed, and it looks like you missed a couple of other cameos: > > > >ftp://theory.lcs.mit.edu/pub/people/wald/sandman/sandman.51 > > > That ftp seems to be down... > Works just fine for me. *shrug* But there's a mirror of most of those annotations here: http://www.stahl.bau.tu-bs.de/~hildeb/sandman/annotations/