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

[mizar] Test

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Test
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Tue, 11 May 2010 10:19:39 -0600

Ignore it.

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

Prev by Date: [mizar] MSCS Special Issue - Mechanization of Mathematics (second call)
Next by Date: [mizar] Formatter questions
Index(es):
- Chronological
- Thread