| Subject | From | # of followups |
|---|---|---|
| [mizar] Otter2Mizar translator | Josef Urban | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] relinfer | Artur Kornilowicz | 0 |
| [mizar] Proposal for binders in Mizar | Freek Wiedijk | 1 |
| Re: [mizar] Proposal for binders in Mizar | Josef Urban | 1 |
| Re: [mizar] Proposal for binders in Mizar | Freek Wiedijk | 1 |
| Re: [mizar] Proposal for binders in Mizar | Josef Urban | 1 |
| Re: [mizar] Proposal for binders in Mizar | Freek Wiedijk | 1 |
| Re: [mizar] Proposal for binders in Mizar | Josef Urban | 0 |
| [mizar] robustness of the Mizar system | Robert Milewski | 0 |
| [mizar] Contradiction in Mizar 6.3.05 | Piotr Rudnicki | 1 |
| Re: [mizar] Contradiction in Mizar 6.3.05 | Josef Urban | 0 |