[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: Mon, 26 Aug 2002 00:14:12 -0600

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

Prev by Date: [mizar] Maintenace break of Megrez services
Next by Date: Re: [mizar] A. Asperti's offer
Index(es):
- Chronological
- Thread