rstan at math.mit.edu
Tue Oct 1 13:13:41 EDT 2013
> You asked the same question in 2004! :)
> See your post titled '"half" proof games' on
> and the ensuing replies.
Yow! Sorry, I completely forgot this.
More information about the Retros