| Subject | From | # of followups |
|---|---|---|
| [mizar] NEW DEADLINE: MKM 2004 - CFP (Bialowieza, Poland) | Roman Matuszewski | 0 |
| [mizar] updated MoMM | Josef Urban | 0 |
| [mizar] IJCAR 2004 Tutorials | William Farmer | 0 |
| [mizar] clusters of predicates | Josef Urban | 1 |
| Re: [mizar] clusters of predicates | Josef Urban | 0 |
| [mizar] QPQ | Krzysztof Retel | 0 |