| Subject | From | # of followups |
|---|---|---|
| [mizar] UITP'08: Call for Papers | Claudio Sacerdoti Coen | 0 |
| [mizar] Calculemus 2008: extended deadline March 14 | Freek Wiedijk | 0 |
| [mizar] html for 4.99.1005 | Josef Urban | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 1 |
| Re: [mizar] New Mizar articles | Roman Matuszewski | 0 |
| [mizar] 2nd CFP: PLMMS 2008 | Makarius | 0 |
| [mizar] html for 4.100.1011 | Josef Urban | 0 |
| Re: [mizar] notes on isabelle vs. mizar | Slawomir Kolodynski | 1 |
| Re: [mizar] notes on isabelle vs. mizar | Josef Urban | 1 |
| Re: [mizar] notes on isabelle vs. mizar | Bartek | 1 |
| Re: [mizar] notes on isabelle vs. mizar | Makarius | 0 |
| [mizar] Re: AC and strongly inaccessible cardinals | Robert M. Solovay | 1 |
| Re: [mizar] Re: AC and strongly inaccessible cardinals | Josef Urban | 0 |