Chronological Index (0609)

Subject	From	# of followups
[mizar] Mizar 7.8.01 MML 4.70.946	Adam Grabowski	0
[mizar] Type extensions	Adam Grabowski	2
Re: [mizar] Type extensions	Freek Wiedijk	1
Re: [mizar] Type extensions	Josef Urban	1
Re: [mizar] Type extensions	Andrzej Trybulec	2
Re: [mizar] Type extensions	Andrzej Trybulec	0
Re: [mizar] Type extensions	Artur Kornilowicz	1
Re: [mizar] Type extensions	Andrzej Trybulec	1
Re: [mizar] Type extensions	Josef Urban	0
[mizar] Private DB	Andrzej Trybulec	1
Re: [mizar] Private DB	Jesse Alama	1
Re: [mizar] Private DB	Andrzej Trybulec	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Andrzej Trybulec	1
Re: [mizar] Private DB	Josef Urban	4
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Andrzej Trybulec	1
Re: [mizar] Private DB	Andrzej Trybulec	1
Re: [mizar] Private DB	Adam Naumowicz	1
Re: [mizar] Private DB	Jesse Alama	0
Re: [mizar] Private DB	Josef Urban	0
Re: [mizar] Private DB	Josef Urban	3
Re: [mizar] Private DB	Piotr Rudnicki	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Adam Naumowicz	0
Re: [mizar] Private DB	Freek Wiedijk	0
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Andrzej Trybulec	2
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Andrzej Trybulec	3
Re: [mizar] Private DB	Piotr Rudnicki	0
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Freek Wiedijk	2
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Andrzej Trybulec	1
Re: [mizar] Private DB	Freek Wiedijk	0
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Josef Urban	1
[mizar] mizar for intel-based macs?	Jesse Alama	0
Re: [mizar] Private DB	Freek Wiedijk	3
Re: [mizar] Private DB	Freek Wiedijk	1
[mizar] History of the Mizar	Roman Matuszewski	1
Re: [mizar] Private DB	Piotr Rudnicki	1
Re: [mizar] Private DB	Josef Urban	0
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Freek Wiedijk	2
Re: [mizar] History of the Mizar	Freek Wiedijk	0
Re: [mizar] Private DB	Freek Wiedijk	2
Re: [mizar] Private DB	Michael Nedzelsky	0
Re: [mizar] Private DB	Michael Nedzelsky	3
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Freek Wiedijk	0
Re: [mizar] Private DB	Michael Nedzelsky	0
Re: [mizar] Private DB	Piotr Rudnicki	1
Re: [mizar] Private DB	Freek Wiedijk	0
Re: [mizar] Private DB	Jesse Alama	1
Re: [mizar] Private DB	Andrzej Trybulec	2
Re: [mizar] Private DB	Jesse Alama	0
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Freek Wiedijk	2
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Josef Urban	0
Re: [mizar] Private DB	Jesse Alama	1
Re: [mizar] Private DB	Freek Wiedijk	2
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Adam Naumowicz	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Andrzej Trybulec	2
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Freek Wiedijk	0
Re: [mizar] Private DB	Adam Naumowicz	0
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Josef Urban	0
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Josef Urban	1
Re: [mizar] Private DB	Freek Wiedijk	1
Re: [mizar] Private DB	Josef Urban	1
[mizar] Environment Declaration	Andrzej Trybulec	0
[mizar] Weak types	Andrzej Trybulec	1
[mizar] Weak types	Andrzej Trybulec	1
Re: [mizar] Weak types	Freek Wiedijk	1
Re: [mizar] Weak types	Freek Wiedijk	0
Re: [mizar]Possibly empty types	Andrzej Trybulec	1
Re: [mizar]Possibly empty types	Josef Urban	0