| Subject | From | # of followups |
|---|---|---|
| Re: [mizar] Now I know why I cannot quote a theorem but the trouble remains | Josef Urban | 0 |
| Re: [mizar] Now I know why I cannot quote a theorem as the sawdust remains | Adam Grabowski | 1 |
| Re: [mizar] Now I know why I cannot quote a theorem as the sawdust remains | Piotr Rudnicki | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] mkm mail list? | Josef Urban | 0 |
| Re: [mizar] mkm mail list? (fwd) | Czeslaw Bylinski | 0 |
| [mizar] Routine test message - please ignore. | Adam Naumowicz | 0 |
| [mizar] be and being | Piotr Rudnicki | 2 |
| Re: [mizar] be and being | Adam Naumowicz | 0 |
| Re: [mizar] be and being | Josef Urban | 2 |
| Re: [mizar] be and being | Freek Wiedijk | 1 |
| Re: [mizar] be and being | Piotr Rudnicki | 1 |
| Re: [mizar] be and being | Josef Urban | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] 2004!!! | Vladimir Rykov | 0 |