| Subject | From | # of followups |
|---|---|---|
| [mizar] Calculemus 2005 Second Call for Papers | William Farmer | 0 |
| [mizar] Re: still_not-bound_in p | Andrzej Trybulec | 0 |
| [mizar] New Mizar articles in MML, January, 2005 | Adam Grabowski | 1 |
| [mizar] Godel's theorem | Robert M. Solovay | 1 |
| Re: [mizar] Godel's theorem | Jesse Alama | 0 |
| [mizar] definitions, vocabularies, and findvoc | Jesse Alama | 1 |
| [mizar] difference between mizar-forum and mizar user service | Jesse Alama | 1 |
| Re: [mizar] definitions, vocabularies, and findvoc | Adam Naumowicz | 1 |
| Re: [mizar] difference between mizar-forum and mizar user service | Adam Naumowicz | 0 |
| [mizar] Mizar ver. 7.3.01 released | Adam Naumowicz | 0 |
| Re: [mizar] definitions, vocabularies, and findvoc | Grzegorz Bancerek | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |