| Subject | From | # of followups |
|---|---|---|
| [mizar] IJCAR 2004 Call for Tutorial Proposals (fwd) | Czeslaw Bylinski | 1 |
| Re: [mizar] IJCAR 2004 Call for Tutorial Proposals (fwd) | Freek Wiedijk | 1 |
| [mizar] Schemes, help! | Freek Wiedijk | 2 |
| Re: [mizar] Schemes, help! | Grzegorz Bancerek | 1 |
| Re: [mizar] Schemes, help! | Freek Wiedijk | 0 |
| Re: [mizar] Schemes, help! | Josef Urban | 0 |
| [mizar] New Mizar article | Adam Grabowski | 0 |
| [mizar] ijcar 2004: 2nd cfp (fwd) | Czeslaw Bylinski | 0 |