fixed, sorry - some network problems Josef On Thu, 5 Jul 2007, Jesse Alama wrote:
It looks like wiki.mizar.org is down -- what's going on? Jesse -- Jesse Alama (alama@stanford.edu) *60: Something remains to be proved in this case