thanks, it's up again now; there are some infrustructure changes at our dept. going on that may disconnect the server
Sorry for the inconvenience, Josef On Tue, 6 Feb 2007, Jesse Alama wrote:
FYI: it looks like wiki.mizar.org is down. Jesse -- Jesse Alama (alama@stanford.edu) *14: Too many terms in an inference (http://www.mizar.org)