Re: Functions between the positive real numbers?

On Wed, 4 Apr 2007, Jesse Alama wrote:

> What environment are you using?  (I can't count how many hours I've
> been blocked by mystifying errors that are just due to something being
> wrong or missing in my environment.  There has got to be a way to make
> getting the environment right not so unpleasant!  Perhaps we can have
> a separate discussion about that.)

that thread seems
to start at http://mizar.uwb.edu.pl/forum/archive/0609/msg00022.html

Josef