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

Re: [mizar] Strong Mizar wish: linking to consider

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Strong Mizar wish: linking to consider
From: Freek Wiedijk <freek@cs.kun.nl>
Date: Fri, 8 Mar 2002 12:41:00 +0100 (MET)

Hi Grzegorz,

>Freek, "ex x st P x & Q x" should be on the list of
>possibilities insead of 1.

Oops!  You're right.  My mistake.  I'm glad you understood
what I meant.

Freek

References:
- Re: [mizar] Strong Mizar wish: linking to consider
  - From: Grzegorz Bancerek <bancerek@cs.shinshu-u.ac.jp>

Prev by Date: Re: [mizar] Strong Mizar wish: linking to consider
Next by Date: Re: [mizar] Strong Mizar wish: linking to consider
Index(es):
- Chronological
- Thread