FOM: Any other Mizar newbies?

[Robert M. Solovay]

Inspired by a recent posting on this list:

From: "Roger Bishop Jones" <rbjones at rbjones.com>
    Date: Tue, 29 May 2001 19:58:17 +0100

	I've started digging in to learning Mizar. If there are any other
Mizar newbies on this list, I'd like to know [so we can share problems and
solutions about learning to hack Mizar].

	--Bob Solovay

	dilettante and autodidact