[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] Studying Mizar
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: Re: [mizar] Studying Mizar
- From: Boris Schminke <schminkeba@gmail.com>
- Date: Thu, 15 Jul 2010 15:38:45 +0400
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=cT8FynNiyAdWIjClevdv81nmnKjkyFiTCA/O/jrgBAoqRYn9fg43g70YlVGWDdnHAl 5xkuvajBt/vopFK8debx8TUcgd3O2acpMtPDn5owwGvH78KQFNcGNsnRljRpsQ7F9EC3 /fjEpubxro9067u8OTdpupH2/l21JJ857dujE=
Dear Adam,
Thank you for your answer. I didn't know or have already forgotten
that articles from MML in their current state are available on the
Internet in HTML form. I think that link you've sent me in this letter
will necessarily help me.
Best,
Boris.