| Subject | From | # of followups |
|---|---|---|
| [mizar] New Mizar article | Library Committee | 1 |
| [mizar] ACL2 Workshop (note registration deadlines) (fwd) | Czeslaw Bylinski | 0 |
| [mizar] Val Day | Vladimir Rykov | 0 |
| [mizar] ESSLLI 2002 Student Session (fwd) | Czeslaw Bylinski | 0 |
| [mizar] ACL2 Tutorial Announcement (fwd) | Czeslaw Bylinski | 0 |
| [mizar] Mathematical Knowledge Management 2003 (fwd) | Czeslaw Bylinski | 0 |