| Subject | From | # of followups |
|---|---|---|
| [mizar] Mechanized Mathematics and Its Applications 2002, Vol. 2 Online | Pauline N. Kawamoto | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] structures | Josef Urban | 2 |
| Re: [mizar] structures | Freek Wiedijk | 1 |
| Re: [mizar] structures | Andrzej Trybulec | 1 |
| Re: [mizar] structures | Freek Wiedijk | 2 |
| Re: [mizar] structures | Andrzej Trybulec | 0 |
| Re: [mizar] structures | Josef Urban | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] Has someone done that? | Piotr Rudnicki | 3 |
| Re: [mizar] Has someone done that? | Artur Kornilowicz | 0 |
| Re: [mizar] Has someone done that? | Andrzej Trybulec | 0 |
| Re: [mizar] Has someone done that? | Andrzej Trybulec | 0 |
| Re: [mizar] structures | Andrzej Trybulec | 1 |
| Re: [mizar] structures | Andrzej Trybulec | 0 |