| Subject | From | # of followups |
|---|---|---|
| [mizar] real number vs. Element of REAL | trybulec | 1 |
| Re: [mizar] real number vs. Element of REAL | Artur Kornilowicz | 0 |
| [mizar] ESSLLI 2012 call for participation | A. Herzig | 0 |
| [mizar] duplications in MML 7.13.01_4.181.1147 | Josef Urban | 0 |