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

Re: [mizar] Private DB

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Private DB
From: Freek Wiedijk <freek@cs.ru.nl>
Date: Thu, 28 Sep 2006 09:56:26 +0200

Hi Josef,

>otherwise we'll just repeat the previous arguments over and over.

Maybe repeating will help make things even clearer to everyone :-)

Freek

Follow-Ups:
- Re: [mizar] Private DB
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

References:
- Re: [mizar] Private DB
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
- Re: [mizar] Private DB
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] Private DB
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
- Re: [mizar] Private DB
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
- Re: [mizar] Private DB
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
- Re: [mizar] Private DB
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

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