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

[mizar] (no subject)

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] (no subject)
From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>
Date: Tue, 24 Dec 2002 15:33:45 +0100

Merry Christmas and Happy New Year

Andrzej Trybulec

Prev by Date: [mizar] New Mizar version 6.1.15_3.42.752
Index(es):
- Chronological
- Thread