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

Re: [mizar] weak types

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] weak types
From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>
Date: Thu, 20 Nov 2003 15:31:29 +0100


Freek Wiedijk wrote:

>
> It's Jan, not Ian.  But yes, of course it is:

I apologize. 'Jan' is in Polish. I thought 'Ian' would be more Dutch.

Andrzej

References:
- Re: [mizar] weak types
  - From: Freek Wiedijk <freek@cs.kun.nl>

Prev by Date: Re: [mizar] weak types
Next by Date: Re: [mizar] weak types
Index(es):
- Chronological
- Thread