| Subject | From | # of followups |
|---|---|---|
| Re: [mizar] Mizar ver. 7.3.01 released | Josef Urban | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] [Fwd: Re: getting started with Mizar or some proof assistant] | Andrzej Trybulec | 1 |
| Re: [mizar] [Fwd: Re: getting started with Mizar or some proof assistant] | Krzysztof Retel | 1 |
| Re: [mizar] [Fwd: Re: getting started with Mizar or some proof assistant] | Josef Urban | 0 |
| [mizar] [Fwd: Announcing SMT-COMP] | Andrzej Trybulec | 0 |