Chronological Index (0402)

Subject	From	# of followups
[mizar] Mizar 7?	Freek Wiedijk	2
Re: [mizar] Mizar 7?	Adam Naumowicz	2
Re: [mizar] Mizar 7?	Freek Wiedijk	0
Re: [mizar] Mizar 7?	Andrzej Trybulec	1
Re: [mizar] Mizar 7?	Freek Wiedijk	2
Re: [mizar] Mizar 7?	Adam Naumowicz	0
Re: [mizar] Mizar 7?	Andrzej Trybulec	1
Re: [mizar] Mizar 7?	Freek Wiedijk	2
Re: [mizar] Mizar 7?	Josef Urban	2
[mizar] Errors recovery	Andrzej Trybulec	1
Re: [mizar] Mizar 7?	Josef Urban	0
Re: [mizar] Mizar 7?	Freek Wiedijk	0
Re: [mizar] Errors recovery	Piotr Rudnicki	2
Re: [mizar] Errors recovery	Freek Wiedijk	0
Re: [mizar] Mizar 7?	Freek Wiedijk	1
Re: [mizar] Errors recovery	Andrzej Trybulec	0
Re: [mizar] Mizar 7?	Andrzej Trybulec	1
Re: [mizar] Mizar 7?	Freek Wiedijk	0
[piotr@sedalia.cs.ualberta.ca: Re: [mizar] Errors recovery]	Piotr Rudnicki	2
Re: [mizar] Errors recovery	Josef Urban	1
Re: [mizar] Errors recovery	Adam Naumowicz	0
Re: [piotr@sedalia.cs.ualberta.ca: Re: [mizar] Errors recovery]	Andrzej Trybulec	2
[mizar] Errors recovery	Piotr Rudnicki	0
[mizar] Why doesn't this behave like I expect?	Freek Wiedijk	2
Re: [mizar] Why doesn't this behave like I expect?	Piotr Rudnicki	0
Re: [mizar] Why doesn't this behave like I expect?	Andrzej Trybulec	1
Re: [mizar] Why doesn't this behave like I expect?	Freek Wiedijk	1
Re: [mizar] Why doesn't this behave like I expect?	Josef Urban	0
[mizar] [jstevh@msn.com: Proof checking another perspective]	Piotr Rudnicki	1
Re: [mizar] [jstevh@msn.com: Proof checking another perspective]	Andrzej Trybulec	0
[no subject]	Andrea Asperti	1
[mizar] Re: your mail	Andrea Asperti	0
[mizar] n > 0 vs n <> 0	Artur Kornilowicz	1
Re: [mizar] n > 0 vs n <> 0	Piotr Rudnicki	1
Re: [mizar] n > 0 vs n <> 0	Andrzej Trybulec	0