| Subject | From | # of followups |
|---|---|---|
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] Question about environments | James Smith | 1 |
| [mizar] Question about environments | James Smith | 1 |
| [mizar] 2009 - Mizar Prize for Young Researchers | Roman Matuszewski | 0 |
| Re: [mizar] Question about environments | Artur Kornilowicz | 0 |
| Re: [mizar] Question about environments | Adam Naumowicz | 2 |
| Re: [mizar] Question about environments | Josef Urban | 1 |
| RE: [mizar] Question about environments | James Smith | 1 |
| RE: [mizar] Question about environments | Adam Naumowicz | 2 |
| RE: [mizar] Question about environments | Adam Naumowicz | 0 |
| RE: [mizar] Question about environments | James Smith | 0 |
| Re: [mizar] Question about environments | trybulec | 0 |
| [mizar] MSCS Special Issue - Mechanization of Mathematics | Andrea Asperti | 0 |