Re: [mizar] Private DB

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

On Thu, 28 Sep 2006, Freek Wiedijk wrote:

> Hi Josef,
>
> > otherwise we'll just repeat the previous arguments over and over.
>
> Maybe repeating will help make things even clearer to everyone :-)

http://en.wikipedia.org/wiki/Groundhog_Day_%28film%29 :-)
(not sure this should be implemented on a formal math mailing list)

Josef