| Subject | From | # of followups |
|---|---|---|
| [mizar] Re: a mizar typing question | Josef Urban | 0 |
| [mizar] Re: thank you very much and two more questions... | Josef Urban | 1 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] PLMMS - last call for papers | Makarius | 0 |
| [mizar] Explaining Mizar atomic inferences | Josef Urban | 0 |
| [mizar] A general question on writing recursive functions in mizar | Ozyavas, Adem | 0 |