| Subject | From | # of followups |
|---|---|---|
| [mizar] ITP 2011 (Call for Papers) | Freek Wiedijk | 0 |
| [mizar] Concatenation of finite sequences | trybulec | 3 |
| Re: [mizar] Concatenation of finite sequences | Josef Urban | 0 |
| Re: [mizar] Concatenation of finite sequences | Piotr Rudnicki | 1 |
| Re: [mizar] Concatenation of finite sequences | Freek Wiedijk | 2 |
| Re: [mizar] Concatenation of finite sequences | Piotr Rudnicki | 1 |
| Re: [mizar] Concatenation of finite sequences | trybulec | 1 |
| Re: [mizar] Concatenation of finite sequences | marco caminati | 0 |
| Re: [mizar] Concatenation of finite sequences | Freek Wiedijk | 0 |
| [mizar] ITP 2011 (Call for Workshop Proposals) | Freek Wiedijk | 0 |
| Re: [mizar] Concatenation of finite sequences | trybulec | 0 |
| [mizar] New Mizar mirror site at Auburn University | Adam Naumowicz | 1 |
| Re: [mizar] New Mizar mirror site at Auburn University | Piotr Rudnicki | 0 |