Chronological Index (0210)

Subject	From	# of followups
Re: [mizar] structures	Josef Urban	0
[mizar] Why do Mizar types have to be non-empty?	Freek Wiedijk	1
Re: [mizar] Why do Mizar types have to be non-empty?	Andrzej Trybulec	2
Re: [mizar] Why do Mizar types have to be non-empty?	Freek Wiedijk	2
Re: [mizar] Why do Mizar types have to be non-empty?	Freek Wiedijk	1
Re: [mizar] Why do Mizar types have to be non-empty?	Andrzej Trybulec	0
Re: [mizar] Why do Mizar types have to be non-empty?	Andrzej Trybulec	0
Re: [mizar] Why do Mizar types have to be non-empty?	Andrzej Trybulec	1
Re: [mizar] Why do Mizar types have to be non-empty?	Freek Wiedijk	1
Re: [mizar] Why do Mizar types have to be non-empty?	Andrzej Trybulec	1
Re: [mizar] Why do Mizar types have to be non-empty?	Freek Wiedijk	1
Re: [mizar] Why do Mizar types have to be non-empty?	Andrzej Trybulec	1
Re: [mizar] Why do Mizar types have to be non-empty?	Freek Wiedijk	1
Re: [mizar] Why do Mizar types have to be non-empty?	Andrzej Trybulec	1
[mizar] Mizar-like proof machine	PbIKOB__B.B.	1
Re: [mizar] Mizar-like proof machine	Andrzej Trybulec	1
Re[2]: [mizar] Mizar-like proof machine	PbIKOB__B.B.	1
Re: [mizar] Mizar-like proof machine	Andrzej Trybulec	1
Re: [mizar] structures	Andrzej Trybulec	1
Re[2]: [mizar] Mizar-like proof machine	PbIKOB__B.B.	0
Re: [mizar] structures	Josef Urban	2
Re: [mizar] structures	Andrzej Trybulec	2
Re: [mizar] structures	Freek Wiedijk	2
Re: [mizar] structures	Josef Urban	0
Re: [mizar] structures	Andrzej Trybulec	1
Re: [mizar] structures	Freek Wiedijk	1
[mizar] Binders?	Freek Wiedijk	1
Re: [mizar] Binders?	Piotr Rudnicki	1
Re: [mizar] Binders?	Freek Wiedijk	2
Re: [mizar] Binders?	Josef Urban	0
Re: [mizar] structures	Josef Urban	1
Re: [mizar] Binders?	Piotr Rudnicki	0
[mizar] New Mizar articles	Adam Grabowski	0
[mizar] Euclid's Elements	Piotr Rudnicki	2
Re: [mizar] Euclid's Elements	Freek Wiedijk	0
Re: [mizar] Euclid's Elements	Andrzej Trybulec	1
Re: [mizar] Euclid's Elements	Freek Wiedijk	1
[mizar] Russia online	PbIKOB__B.B.	0
Re: [mizar] structures	Andrzej Trybulec	1
Re: [mizar] Euclid's Elements	Andrzej Trybulec	1
[mizar] Global choice	Andrzej Trybulec	0
Re: [mizar] Euclid's Elements	Freek Wiedijk	0
Re: [mizar] structures	Josef Urban	0