Chronological Index (0701)

Subject	From	# of followups
[mizar] definitions for incomparable (?) types	Jesse Alama	1
Re: [mizar] definitions for incomparable (?) types	Josef Urban	0
[mizar] Eddie::MIZ	M Trybulec	2
Re: [mizar] Eddie::MIZ	Josef Urban	2
Re: [mizar] Eddie::MIZ	Jesse Alama	1
[mizar] Re: Eddie::MIZ	Jesse Alama	0
[mizar] strict	Jesse Alama	1
[mizar] then per cases;	Jesse Alama	2
Re: [mizar] strict	Adam Naumowicz	3
Re: [mizar] strict	Josef Urban	0
Re: [mizar] then per cases;	Adam Naumowicz	0
[mizar] Re: strict	Jesse Alama	1
Re: [mizar] Re: strict	Adam Naumowicz	2
Re: [mizar] Re: strict	Jesse Alama	1
[mizar] Re: strict	Jesse Alama	1
Re: [mizar] Re: strict	Adam Naumowicz	1
Re: [mizar] Re: strict	Adam Naumowicz	1
Re: [mizar] Re: strict	Jesse Alama	2
Re: [mizar] Re: strict	Josef Urban	1
Re: [mizar] Re: strict	Josef Urban	1
Re: [mizar] Re: strict	Jesse Alama	2
Re: [mizar] Re: strict	Artur Kornilowicz	0
Re: [mizar] Re: strict	Adam Naumowicz	1
Re: [mizar] Re: strict	Jesse Alama	1
Re: [mizar] Re: strict	Jesse Alama	0
Re: [mizar] Re: strict	Josef Urban	1
Re: [mizar] Eddie::MIZ	M Trybulec	0
Re: [mizar] strict	Grzegorz Bancerek	1
Re: [mizar] Eddie::MIZ	M Trybulec	0
Re: [mizar] strict	Grzegorz Bancerek	0
Re: [mizar] Re: strict	Josef Urban	0
Re: [mizar] Re: strict	Jesse Alama	0
Re: [mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution	Jesse Alama	1
[mizar] viewing mizar-forum offline	Jesse Alama	1
Re: [mizar] viewing mizar-forum offline	Adam Naumowicz	0
Re: [mizar] then per cases;	Andrzej Trybulec	0
Re: [mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution	Josef Urban	1
[mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution	Jesse Alama	1
[mizar] New MML version 4.76.959	Adam Grabowski	3
Re: [mizar] New MML version 4.76.959	Freek Wiedijk	1
Re: [mizar] New MML version 4.76.959	Jesse Alama	0
Re: [mizar] New MML version 4.76.959	Jesse Alama	1
Re: [mizar] New MML version 4.76.959	Jesse Alama	0
Re: [mizar] New MML version 4.76.959	Adam Grabowski	0
[mizar] a puzzling *185	Jesse Alama	1
Re: [mizar] a puzzling *185	Jesse Alama	1
[mizar] a puzzling type error	Jesse Alama	1
Re: [mizar] a puzzling type error	Adam Naumowicz	0
Re: [mizar] a puzzling *185	Adam Naumowicz	0