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

RELITERS

To: mizar-forum@mizar.uwb.edu.pl
Subject: RELITERS
From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>
Date: Sat, 20 Jan 2001 22:15:08 +0100

I forgot to mention, what is the example (Lm10). It is ASYMPT_1, line
740

Andrzej Trybulec

Prev by Date: Re: RELITERS
Next by Date: Re: RELITERS
Index(es):
- Chronological
- Thread