| Subject | From | # of followups |
|---|---|---|
| 2nd CfP: ESSLLI 01 Student Session (fwd) | Czeslaw Bylinski | 0 |
| '0' replacement | Adam Naumowicz | 1 |
| Re: '0' replacement | Josef Urban | 1 |
| Mizar Aggregates | Grzegorz Bancerek | 0 |
| TPHOLs 2001 2nd CALL FOR PAPERS (fwd) | Czeslaw Bylinski | 0 |
| FORMAL GRAMMAR/MATHEMATICS OF LANGUAGE'01 (fwd) | Czeslaw Bylinski | 0 |
| RELITERS | Artur Kornilowicz | 1 |
| [no subject] | Artur Kornilowicz | 0 |
| Re: RELITERS | Piotr Rudnicki | 2 |
| Re: RELITERS | Artur Kornilowicz | 1 |
| Re: RELITERS | Piotr Rudnicki | 0 |
| Claudio's question | Artur Kornilowicz | 0 |
| Re: RELITERS | Andrzej Trybulec | 1 |
| RELITERS | Andrzej Trybulec | 0 |
| Re: RELITERS | Piotr Rudnicki | 1 |
| Re: RELITERS | Andrzej Trybulec | 0 |
| New Mizar articles | Library Committee | 0 |
| [Fwd: FOM: AAL 2001] | Andrzej Trybulec | 0 |
| Re: '0' replacement | Andrzej Trybulec | 1 |
| Re: '0' replacement | Josef Urban | 0 |
| CFP: Workshop on MEchanized Reasoning about Languages with variable bINding (MERLIN 2001) (fwd) | Czeslaw Bylinski | 0 |