Chronological Index (0301)

Subject	From	# of followups
[mizar] Scheme for func definition with Fraenkel operator?	Freek Wiedijk	4
[mizar] New Mizar articles	Adam Grabowski	1
[mizar] Assumption in redefinition?	Freek Wiedijk	1
Re: [mizar] Scheme for func definition with Fraenkel operator?	Adam Naumowicz	1
Re: [mizar] Assumption in redefinition?	Adam Naumowicz	1
Re: [mizar] Assumption in redefinition?	Freek Wiedijk	1
Re: [mizar] Scheme for func definition with Fraenkel operator?	Freek Wiedijk	0
Re: [mizar] Assumption in redefinition?	Artur Kornilowicz	0
Re: [mizar] Scheme for func definition with Fraenkel operator?	Josef Urban	0
Re: [mizar] Mizar grammar up to date?	Josef Urban	1
Re: [mizar] Scheme for func definition with Fraenkel operator?	Adam Grabowski	0
Re: [mizar] Mizar grammar up to date?	Freek Wiedijk	1
Re: [mizar] Scheme for func definition with Fraenkel operator?	Grzegorz Bancerek	1
Re: [mizar] Scheme for func definition with Fraenkel operator?	Freek Wiedijk	2
[mizar] Isn't "Subset of" the same as "Element of bool"?	Freek Wiedijk	1
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Grzegorz Bancerek	3
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Grzegorz Bancerek	0
Re: [mizar] Scheme for func definition with Fraenkel operator?	Piotr Rudnicki	1
Re: [mizar] Scheme for func definition with Fraenkel operator?	Freek Wiedijk	0
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Freek Wiedijk	0
Re: [mizar] Mizar grammar up to date?	Josef Urban	1
[mizar] New Mizar article	Adam Grabowski	0
Re: [mizar] Mizar grammar up to date?	Grzegorz Bancerek	1
[mizar] Paradox	Freek Wiedijk	1
Re: [mizar] Paradox	Piotr Rudnicki	0
[mizar] MoMM 0.2	Josef Urban	1
[mizar] Another factor...	Freek Wiedijk	1
Re: [mizar] Another factor...	Piotr Rudnicki	1
Re: [mizar] Another factor...	Freek Wiedijk	2
Re: [mizar] Another factor...	Josef Urban	0
Re: [mizar] Another factor...	Freek Wiedijk	2
Re: [mizar] Another factor...	Artur Kornilowicz	1
Re: [mizar] Another factor...	Piotr Rudnicki	0
Re: [mizar] Another factor...	Freek Wiedijk	0
[mizar] MKM 2003 -- Call for participation	Claudio Sacerdoti Coen	0
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Freek Wiedijk	2
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Adam Naumowicz	1
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Freek Wiedijk	0
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Josef Urban	2
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Josef Urban	0
Re: [mizar] Isn't "Subset of" the same as "Element of bool"?	Freek Wiedijk	0