On Thu, 3 May 2001, Jeff Bone wrote:
--][1] http://metamath.org/ --]
Wff n Proof, now that was a game. Shake a wff and up .
This archive was generated by hypermail 2b29 : Sun May 06 2001 - 08:04:38 PDT