| Subject | From | # of followups |
|---|---|---|
| [mizar] no recognition of zero | Ozyavas, Adem | 1 |
| [mizar] A question on "registrations" | Ozyavas, Adem | 1 |
| Re: [mizar] no recognition of zero | Adam Naumowicz | 0 |
| Re: [mizar] A question on "registrations" | Adam Naumowicz | 0 |
| [mizar] Mizar on SnowLeopard | Piotr Rudnicki | 1 |
| [mizar] The 'suppose' keyword | Boris Schminke | 1 |
| Re: [mizar] The 'suppose' keyword | Piotr Rudnicki | 1 |
| Re: [mizar] The 'suppose' keyword | Boris Schminke | 1 |
| Re: [mizar] The 'suppose' keyword | Artur Kornilowicz | 0 |
| [mizar] Re: Mizar on SnowLeopard | Jesse Alama | 0 |