| Subject | From | # of followups |
|---|---|---|
| [mizar] Rosetta Stone for Point-Set Topology Results in Mizar | Alex Nelson | 1 |
| Re: [mizar] Rosetta Stone for Point-Set Topology Results in Mizar | Josef Urban | 0 |
| Re: [mizar] Rosetta Stone for Point-Set Topology Results in Mizar | Roland Coghetto | 1 |
| Re: [mizar] Rosetta Stone for Point-Set Topology Results in Mizar | Alex Nelson | 0 |
| [mizar] Rudin's "Principles of Analysis" Rosetta Stone | Alex Nelson | 2 |
| Re: [mizar] Rudin's "Principles of Analysis" Rosetta Stone | Josef Urban | 0 |
| Re: [mizar] Rudin's "Principles of Analysis" Rosetta Stone | Sebastian Koch | 0 |