| Subject | From | # of followups |
|---|---|---|
| [mizar] updated Mizar mode for Emacs | Josef Urban | 0 |
| [mizar] A puzzle | Andrzej Trybulec | 1 |
| Re: [mizar] Host of TPHOLs 2003, call for bids (fwd) | Bruno Buchberger | 0 |
| Re: [mizar] A puzzle | Piotr Rudnicki | 0 |
| [mizar] New Mizar article | Library Committee | 1 |
| [mizar] TPHOLs 2002 - Second Call For Papers (fwd) | Czeslaw Bylinski | 0 |
| [mizar] lexicon update | Adam Naumowicz | 0 |
| [mizar] Question Formalisms | Vladimir Rykov | 0 |
| [mizar] Call for Participation: FroCoS'02 (fwd) | Czeslaw Bylinski | 0 |