[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] I am trying to figure out...
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: Re: [mizar] I am trying to figure out...
- From: Josef Urban <josef.urban@gmail.com>
- Date: Mon, 26 Oct 2009 08:34:05 +0100
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=AI9l4KbFS3RjYHMDMZxLMVAQO915ywynbltVkONDF2o/a8+6r6HMZ5IYZ5L2Dcs58y dw493zCdbpYFsplmlf9amj0VWuC2e0WDGm2Z4f3AtIkqqfdbYqUCnjmtKtoGYSrOALFD ay6bx7JTiJbDuKbaTLqunYgrEUgLfMs0LrLG4=
Dear Andrzej, Freek,
2009/10/26 <trybulec@math.uwb.edu.pl>
> Cytowanie freek <freek@cs.ru.nl>:
> We've had this discussion before, I'm sure. My excuses
>> for being triggered.
>>
>
>
> No problem, we get better understanding the different approaches. I
> appreciate it.
This discussion comes every two years and brings little new arguments.
If you want to progress, you should create a wiki page summarizing the
discussion of the
topic, and everyone should check first if his argument has already
been answered or not.
Best,
Josef