[mizar] Fwd: License for MML

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Fwd: License for MML
From: Josef Urban <josef.urban@gmail.com>
Date: Mon, 22 Feb 2010 08:20:54 +0100
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=UOIk/ju9LmrNYWvDrwb0FmVbqVRZ3ZO/rtF/Cgjxgh+Adj+4l+a1hiIJ9XdDYXjiuF zpKxy5qGCY7I4r6Gc6fPbZDB/+2/vbbH1GaxbXyHk3jNiPKdcIDKaVhnSYtiaNmEp7gV oSVmUCr0aGYpw4My1f4Gu+zQFvNN/lS9gAOaw=