---------- Forwarded message ----------
Date: Thu, 1 May 2003 13:08:55 +0900 (JST)
From: yatsuka@wakasato.org
To: mizar-forum@mizar.uwb.edu.pl
Subject: Index of MML Identifiers
Dear Staff Members of Bialystok:
"Index of MML Identifiers" on the web is old now. It does not
contain xreal_1,xcmplx_0,....
Web data becomes very important now for points of education and
advertisement of Mizar.
Yatsuka Nakamura