Chronological Index (0711)

Subject	From	# of followups
Re: [mizar] mizar and many-sorted first-order logic	Josef Urban	0
Re: [mizar] mizar and many-sorted first-order logic	Freek Wiedijk	0
[mizar] copy/paste detection in MML	Josef Urban	2
[mizar] Once more: empty types	Freek Wiedijk	2
Re: [mizar] Once more: empty types	Jesse Alama	2
Re: [mizar] Once more: empty types	Josef Urban	2
[mizar] calculating the transitive closure of required mizar items for a theorem	Jesse Alama	1
Re: [mizar] calculating the transitive closure of required mizar items for a theorem	Josef Urban	1
[mizar] Re: calculating the transitive closure of required mizar items for a theorem	Jesse Alama	1
Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem	Josef Urban	1
Re: [mizar] Once more: empty types	Adam Naumowicz	2
Re: [mizar] Once more: empty types	Josef Urban	0
Re: [mizar] Once more: empty types	Freek Wiedijk	0
Re: [mizar] Once more: empty types	Freek Wiedijk	2
Re: [mizar] Once more: empty types	Freek Wiedijk	0
Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem	Jesse Alama	1
Re: [mizar] Once more: empty types	Josef Urban	1
[mizar] Fixed variables	Andrzej Trybulec	0
Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem	Josef Urban	1
Re: [mizar] Once more: empty types	Piotr Rudnicki	1
Re: [mizar] Once more: empty types	Freek Wiedijk	2
Re: [mizar] Once more: empty types	Freek Wiedijk	0
Re: [mizar] Once more: empty types	Josef Urban	1
Re: [mizar] Once more: empty types	Andrzej Trybulec	1
Re: [mizar] Once more: empty types	Freek Wiedijk	0
Re: [mizar] Once more: empty types	Andrzej Trybulec	1
Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem	Josef Urban	0
Re: [mizar] Once more: empty types	Freek Wiedijk	1
Re: [mizar] Once more: empty types	Piotr Rudnicki	1
[mizar] Soft Types	Andrzej Trybulec	1
[mizar] natural	Andrzej Trybulec	1
Re: [mizar] Once more: empty types	Freek Wiedijk	0
Re: [mizar] Soft Types	Freek Wiedijk	0
Re: [mizar] natural	Freek Wiedijk	1
Re: [mizar] natural	Andrzej Trybulec	1
Re: [mizar] natural	Freek Wiedijk	0
Re: [mizar] copy/paste detection in MML	Josef Urban	0
[mizar] html for 4.92.996	Josef Urban	0
[mizar] mmlquery for 4.92.996	Jesse Alama	1
Re: [mizar] mmlquery for 4.92.996	Grzegorz Bancerek	0
[mizar] Calculemus 2008: First Call for Papers	Freek Wiedijk	0