Chronological Index (0401)

Subject	From	# of followups
Your paper: Computer theorem proving in math	Piotr Rudnicki	0
[mizar] Structures and strictness	Gilbert Lee	1
[mizar] Formalizing undefinedness	William M. Farmer	1
[mizar] Statistics	Piotr Rudnicki	0
[mizar] Why *4?	Piotr Rudnicki	1
Re: [mizar] Why *4?	Josef Urban	0
Re: [mizar] Structures and strictness	Josef Urban	0
[mizar] New Mizar articles	Adam Grabowski	0
[trybulec@math.uwb.edu.pl: Re: [mizar] Why *4?]	Piotr Rudnicki	1
Re: [trybulec@math.uwb.edu.pl: Re: [mizar] Why *4?]	Piotr Rudnicki	2
[mizar] Unique substitution	Andrzej Trybulec	1
Re: [mizar] Unique substitution	Piotr Rudnicki	0
[mizar] Skordev device	Andrzej Trybulec	0
Re: [mizar] Formalizing undefinedness	Andrzej Trybulec	0
Re: [mizar] Formalizing undefinedness	William M. Farmer	1
Re: [mizar] A quote	Andrzej Trybulec	1
Re: [mizar] Formalizing undefinedness	Freek Wiedijk	0
Re: [mizar] Formalizing undefinedness	William M. Farmer	2
Re: [mizar] Formalizing undefinedness	Josef Urban	2
Re: [mizar] Formalizing undefinedness	Josef Urban	0
Re: [mizar] A quote	Piotr Rudnicki	1
[mizar] Good news from a mathematician	Piotr Rudnicki	1
Re: [mizar] Good news from a mathematician	Freek Wiedijk	1
Re: [mizar] A quote	Freek Wiedijk	1
Re: [mizar] Formalizing undefinedness	Freek Wiedijk	1
Re: [mizar] Good news from a mathematician	Piotr Rudnicki	1
Re: [mizar] Good news from a mathematician	Freek Wiedijk	1
Re: [mizar] Good news from a mathematician	Piotr Rudnicki	1
Re: [mizar] Formalizing undefinedness	William M. Farmer	1
Re: [mizar] Formalizing undefinedness	William M. Farmer	0
Re: [mizar] Formalizing undefinedness	Josef Urban	0
Re: [mizar] Good news from a mathematician	Freek Wiedijk	1
Re: [mizar] Good news from a mathematician	Josef Urban	1
[mizar] Tutorial proposals for IJCAR 2004 due February 1, 2004	William M. Farmer	0
Re: [mizar] Good news from a mathematician	Freek Wiedijk	1
Re: [mizar] Formalizing undefinedness	William M. Farmer	0
Re: [mizar] Good news from a mathematician	Josef Urban	0
Re: [mizar] A quote	Piotr Rudnicki	2
Re: [mizar] A quote	Freek Wiedijk	1
Re: [mizar] A quote	Josef Urban	1
Re: [mizar] A quote	Freek Wiedijk	1
Re: [mizar] A quote	Josef Urban	0
Re: [mizar] A quote	Piotr Rudnicki	1
[mizar] Calculus in CQC_THE1	Patrick Braselmann	3
Re: [mizar] A quote	Freek Wiedijk	0
Re: [mizar] Calculus in CQC_THE1	Josef Urban	0
[mizar] Mizr on Mac	Piotr Rudnicki	1
Re: [mizar] Mizr on Mac	Josef Urban	1
Re: [mizar] Mizr on Mac	Freek Wiedijk	1
Re: [mizar] Mizr on Mac	Josef Urban	0
Re: [mizar] Calculus in CQC_THE1	Piotr Rudnicki	0
[mizar] Was it meant to be that way?	Piotr Rudnicki	1
Re: [mizar] Was it meant to be that way?	Andrzej Trybulec	1
Re: [mizar] Was it meant to be that way?	Piotr Rudnicki	2
Re: [mizar] Was it meant to be that way?	Andrzej Trybulec	0
Re: [mizar] Was it meant to be that way?	Josef Urban	1
Re: [mizar] Was it meant to be that way?	Piotr Rudnicki	1
Re: [mizar] Was it meant to be that way?	Josef Urban	1
Re: [mizar] Calculus in CQC_THE1	Josef Urban	1
Re: [mizar] Was it meant to be that way?	Grzegorz Bancerek	2
Re: [mizar] Calculus in CQC_THE1	Piotr Rudnicki	0
[mizar] Theorem Proving in Russia	"PbIKOB__B.B."	0
Re: [mizar] Was it meant to be that way?	Piotr Rudnicki	1
Re: [mizar] Was it meant to be that way?	Grzegorz Bancerek	1
Re: [mizar] Was it meant to be that way?	Piotr Rudnicki	0