| Subject | From | # of followups |
|---|---|---|
| [mizar] cleaning up labels gone awry | Jesse Alama | 0 |
| [mizar] language missing from mizar wiki? | Jesse Alama | 1 |
| Re: [mizar] language missing from mizar wiki? | Michael Nedzelsky | 0 |
| [mizar] fraenkel terms over possibly empty types | Jesse Alama | 1 |
| Re: [mizar] fraenkel terms over possibly empty types | Adam Naumowicz | 1 |
| Re: [mizar] fraenkel terms over possibly empty types | Josef Urban | 0 |