Chronological Index (0703)

Subject	From	# of followups
[mizar] puzzling errors	Jesse Alama	1
Re: [mizar] puzzling errors	Adam Naumowicz	1
[mizar] Re: puzzling errors	Jesse Alama	1
Re: [mizar] Re: puzzling errors	Adam Naumowicz	1
Re: [mizar] Re: puzzling errors	Josef Urban	0
[mizar] mizar2kif	Ben Goertzel	1
Re: [mizar] mizar2kif	Josef Urban	1
Re: [mizar] mizar2kif	Ben Goertzel	1
Re: [mizar] mizar2kif	Josef Urban	0
[mizar] referring to local files's constructors, theorems, etc	Jesse Alama	1
Re: [mizar] referring to local files's constructors, theorems, etc	Adam Naumowicz	0
[mizar] PATE workshop	Software Administrator/Mai	0
[mizar] Programming Languages for Mechanized Mathematics Workshop	Freek Wiedijk	0
[mizar] Mizar 7.8.04 MML 4.80.962	Adam Grabowski	2
[mizar] Re: Mizar 7.8.04 MML 4.80.962	Jesse Alama	1
Re: [mizar] Mizar 7.8.04 MML 4.80.962	Michael Nedzelsky	1
Re: [mizar] Mizar 7.8.04 MML 4.80.962	Adam Naumowicz	1
Re: [mizar] Mizar 7.8.04 MML 4.80.962	Michael Nedzelsky	0
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Piotr Rudnicki	1
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Freek Wiedijk	4
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Adam Grabowski	0
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Josef Urban	0
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Adam Grabowski	3
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Josef Urban	1
[mizar] Re: Mizar 7.8.04 MML 4.80.962	Jesse Alama	1
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Adam Grabowski	0
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Freek Wiedijk	1
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Andrzej Trybulec	0
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Andrzej Trybulec	0
Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962	Josef Urban	0
[mizar] Mizar 7.8.04 MML 4.81.962	Adam Grabowski	1
[mizar] Re: Mizar 7.8.04 MML 4.81.962	Jesse Alama	1
[mizar] Types Summer School	Andrea Asperti	2
Re: [mizar] Types Summer School	Andrzej Trybulec	0
Re: [mizar] Types Summer School	Andrzej Trybulec	1
Re: [mizar] Types Summer School	Andrea Asperti	0
Re: [mizar] Re: Mizar 7.8.04 MML 4.81.962	Josef Urban	0