Chronological Index (0311)

Subject	From	# of followups
[mizar] New Mizar version (6.4.02_3.62.798)	Adam Grabowski	1
[mizar] reconsiderings	Josef Urban	0
Re: [mizar] weak types	Freek Wiedijk	1
Re: [mizar] weak types	Josef Urban	2
Re: [mizar] weak types	Andrzej Trybulec	1
Re: [mizar] weak types	Andrzej Trybulec	0
Re: [mizar] weak types	Josef Urban	2
Re: [mizar] weak types	Josef Urban	1
[mizar] Mizar sources	Josef Urban	1
[mizar] Mizar sources - errata	Josef Urban	0
Re: [mizar] weak types	Andrzej Trybulec	1
Re: [mizar] weak types	Andrzej Trybulec	2
Re: [mizar] weak types	Freek Wiedijk	1
Re: [mizar] weak types	Josef Urban	0
Re: [mizar] weak types	Andrzej Trybulec	1
Re: [mizar] weak types	Freek Wiedijk	1
Re: [mizar] weak types	Josef Urban	2
Re: [mizar] weak types	Josef Urban	1
Re: [mizar] weak types	Josef Urban	1
Re: [mizar] weak types	Andrzej Trybulec	1
Re: [mizar] non necessarily non empty types	Andrzej Trybulec	2
Re: [mizar] non necessarily non empty types	Andrzej Trybulec	1
Re: [mizar] non necessarily non empty types	Freek Wiedijk	1
Re: [mizar] weak types	Freek Wiedijk	2
Re: [mizar] non necessarily non empty types	Josef Urban	0
Re: [mizar] non necessarily non empty types	Josef Urban	0
Re: [mizar] non necessarily non empty types	Josef Urban	0
[mizar] A quote	Piotr Rudnicki	2
Re: [mizar] A quote	Josef Urban	1
Re: [mizar] A quote	Piotr Rudnicki	0
Re: [mizar] A quote	Freek Wiedijk	0
Re: [mizar] weak types	Andrzej Trybulec	1
Re: [mizar] weak types	Andrzej Trybulec	2
Re: [mizar] weak types	Freek Wiedijk	1
Re: [mizar] weak types	Freek Wiedijk	1
Re: [mizar] weak types	Josef Urban	1
Re: [mizar] weak types	Andrzej Trybulec	0
Re: [mizar] weak types	Andrzej Trybulec	1
Re: [mizar] weak types	Andrzej Trybulec	2
Re: [mizar] weak types	Freek Wiedijk	0
Re: [mizar] weak types	Freek Wiedijk	1
Re: [mizar] weak types	Josef Urban	0
Re: [mizar] weak types	Josef Urban	1
Re: [mizar] weak types	Freek Wiedijk	1
Re: [mizar] weak types	Josef Urban	0
[mizar] A revision	Piotr Rudnicki	1
Re: [mizar] A revision	Josef Urban	0
[mizar] Why I cannot quote a theorem	Piotr Rudnicki	2
Re: [mizar] Why I cannot quote a theorem	Artur Kornilowicz	1
Re: [mizar] Why I cannot quote a theorem	Adam Naumowicz	0
Re: [mizar] Now I know why I cannot quote a theorem but the trouble remains	Piotr Rudnicki	1
Re: [mizar] Now I know why I cannot quote a theorem but the trouble remains	Freek Wiedijk	0