[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] mizara.pl

To: mizar-forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] mizara.pl
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Thu, 11 Dec 2008 04:20:19 -0700

Sorry for posting my previous message in Polish.  The link mizar.pl is
probably readable only for speakers of Polish.

-- 
Piotr Rudnicki                                http://web.cs.ualberta.ca/~piotr

Prev by Date: [mizar] mizar.pl
Next by Date: [mizar] Help request: Fraenkel term definition
Index(es):
- Chronological
- Thread