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

[mizar] Test



Hi:

This is just a test as my previous posting to mizar-forum  bounced back.

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr