| Subject | From | # of followups |
|---|---|---|
| [mizar] Reference distances? | Freek Wiedijk | 1 |
| Re: [mizar] Reference distances? | Josef Urban | 1 |
| Re: [mizar] Reference distances? | Freek Wiedijk | 1 |
| Re: [mizar] Reference distances? | Josef Urban | 1 |
| Re: [mizar] Reference distances? | Freek Wiedijk | 2 |
| Re: [mizar] Reference distances? | Artur Kornilowicz | 1 |
| Re: [mizar] Reference distances? | Freek Wiedijk | 0 |
| Re: [mizar] Reference distances? | Josef Urban | 1 |
| Re: [mizar] Reference distances? | Freek Wiedijk | 1 |
| Re: [mizar] Reference distances? | Josef Urban | 0 |
| [mizar] instance checking procedure | Josef Urban | 0 |
| Re: [mizar] instance checking procedure | Michael Nedzelsky | 1 |
| Re: [mizar] instance checking procedure | Josef Urban | 0 |
| [mizar] MKM 2006 Final Call for Papers and Workshop Proposals | William Farmer | 0 |