Re: [mizar] Medice, cura te ipsum

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

On Thu, Aug 01, 2002 at 10:35:44AM +0200, Adam Naumowicz wrote:
> Hello,
> 
> On Wed, 31 Jul 2002, Piotr Rudnicki wrote:
> 
> > On Mon, Jul 29, 2002 at 03:45:28PM +0200, Andrzej Trybulec wrote:
> >
> > > Piotr Rudnicki and Adam Naumowicz recently discuss semantics and syntax of
> > > Functor Cluster Registration, in private.
> >
> > Fascinating, I did not know about it.
> 
> Well, we exchanged some e-mails on that matter. 

Well, memory fault.

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr