| Subject | From | # of followups |
|---|---|---|
| Ordered pairs | Piotr Rudnicki | 1 |
| Re: Ordered pairs | Adam Kolany, DrAK | 1 |
| Re: Ordered pairs | Piotr Rudnicki | 0 |
| Ordered pairs | William Faris | 1 |
| Re: Ordered pairs | Andrzej Trybulec | 0 |
| Re: Ordered pairs | Adam Kolany, DrAK | 0 |
| Zero or empty set | Andrzej Trybulec | 1 |
| Re: Zero or empty set | Piotr Rudnicki | 1 |
| Re: Zero or empty set | Andrzej Trybulec | 0 |
| New Mizar articles | Library Committee | 0 |
| Extended ASCII | Adam Grabowski | 0 |