| Subject | From | # of followups |
|---|---|---|
| [mizar] small types | Josef Urban | 0 |
| [mizar] improper (fwd) | Josef Urban | 0 |
| [mizar] Mizar 7.7.01 MML 4.68.942 | Adam Grabowski | 1 |
| Re: [mizar] Mizar 7.7.01 MML 4.68.942 | Piotr Rudnicki | 1 |
| Re: [mizar] Mizar 7.7.01 MML 4.68.942 | Adam Grabowski | 1 |
| Re: [mizar] Mizar 7.7.01 MML 4.68.942 | Piotr Rudnicki | 1 |
| Re: [mizar] Mizar 7.7.01 MML 4.68.942 | Adam Grabowski | 0 |