| Subject | From | # of followups |
|---|---|---|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C) | Andrzej Trybulec | 1 |
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C) | Josef Urban | 0 |
| CALL FOR PARTICIPATION: European Summer School in Logic, Language and Information (ESSLLI'01), August 13-24, 2001 (Helsinki, Finland) (fwd) | Czeslaw Bylinski | 0 |
| [Fwd: CFP: FroCoS'2002] | Andrzej Trybulec | 0 |
| CFP ESSLLI02 (Trento, Italy) (fwd) | Czeslaw Bylinski | 0 |
| New Mizar articles | Library Committee | 0 |
| [Fwd: FOM: meeting announcement: Diagrams 2002] | Andrzej Trybulec | 0 |