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

Re: [mizar] Was it meant to be that way?

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Was it meant to be that way?
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Thu, 29 Jan 2004 10:53:50 -0700

On Thu, Jan 29, 2004 at 02:41:56PM +0100, Grzegorz Bancerek wrote:

> Sorry. I cannot improve Internet connection
> between Canada and Japan.

C'mon, do not be so modest, give it a try.

PR

References:
- Re: [mizar] Was it meant to be that way?
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] Was it meant to be that way?
  - From: Grzegorz Bancerek <bancerek@math.uwb.edu.pl>
- Re: [mizar] Was it meant to be that way?
  - From: Piotr Rudnicki <piotr@cs.ualberta.ca>
- Re: [mizar] Was it meant to be that way?
  - From: Grzegorz Bancerek <bancerek@math.uwb.edu.pl>

Prev by Date: Re: [mizar] Was it meant to be that way?
Index(es):
- Chronological
- Thread