| Subject | From | # of followups |
|---|---|---|
| [mizar] proposal for absolute notation | Josef Urban | 0 |
| Re: [mizar] iff implies | Markus Moschner | 0 |
| [mizar] ijcar 2004 cfp (revised deadlines!) : please post (fwd) | Czeslaw Bylinski | 0 |
| [mizar] A question | Piotr Rudnicki | 1 |
| Re: [mizar] A question | Grzegorz Bancerek | 1 |
| Re: [mizar] A question | Piotr Rudnicki | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |