| Subject | From | # of followups |
|---|---|---|
| RE: [mizar] Inductive predicates | Ozyavas, Adem | 1 |
| RE: [mizar] Inductive predicates | trybulec | 1 |
| RE: [mizar] Inductive predicates | Ozyavas, Adem | 1 |
| RE: [mizar] Inductive predicates | Adam Naumowicz | 0 |
| [mizar] monospace font for html | Josef Urban | 1 |
| Re: [mizar] monospace font for html | Adam Naumowicz | 0 |