Wed, 2 Feb 2000 14:59:35 +0100 (MET), Koen Claessen <[EMAIL PROTECTED]> pisze:

> This "bug" in Hugs is fixed in the newest version, but it
> was not really a bug in Hugs, but a bug in the report. The
> report should say: "two *independent* generators".

I think that the essence is that both generators should be in some
sense independent not only from each other, but also from the original.
But it's probably implicit in your definition.

-- 
 __("<    Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/              GCS/M d- s+:-- a22 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                  W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                  5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-

Reply via email to