| Subject | From | # of followups |
|---|---|---|
| about the automatic proof of an easy theorem | 渡辺 稔彦 | 0 |
| New Mizar articles | Library Committee | 0 |
| Syntax of a Mizar Article | Mariusz Zynel | 0 |
| Syntax of a Mizar Language - update | Mariusz Zynel | 1 |
| Choice Axiom | Andrzej Trybulec | 1 |
| Re: Choice Axiom | Andrzej Trybulec | 0 |
| Re: Syntax of a Mizar Language - update | Andrzej Trybulec | 0 |