Chronological Index (0807)

Subject	From	# of followups
[mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Jesse Alama	2
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Josef Urban	1
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Piotr Rudnicki	1
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Robert Boyer	2
[no subject]	Mailing list agent	0
[mizar] Contact with Freek	Piotr Rudnicki	1
[mizar] [gmane.comp.science.types.announce] Types Considered Harmful	Jesse Alama	1
Re: [mizar] [gmane.comp.science.types.announce] Types Considered Harmful	Josef Urban	0
Re: [mizar] "Formalized Mathematics"	Jesse Alama	1
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	trybulec	1
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Robert Boyer	1
Re: [mizar] Contact with Freek	Freek Wiedijk	0
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Freek Wiedijk	0
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Freek Wiedijk	0
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Freek Wiedijk	0
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Freek Wiedijk	1
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	Freek Wiedijk	0
Re: [mizar] "Formalized Mathematics"	Piotr Rudnicki	1
Re: [mizar] "Formalized Mathematics"	trybulec	1
Re: [mizar] "Formalized Mathematics"	Piotr Rudnicki	0
Re: [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)	trybulec	0
[mizar] [Hol-info] New article type PROOF PEARLS in Journal of Automated Reasoning (fwd)	Josef Urban	1
[mizar] MML duplications	Josef Urban	2
Re: [mizar] MML duplications	Jesse Alama	1
Re: [mizar] MML duplications	Josef Urban	1
Re: [mizar] MML duplications	Piotr Rudnicki	1
Re: [mizar] MML duplications	freek	1
Re: [mizar] MML duplications	Josef Urban	0
Re: [mizar] MML duplications	trybulec	2
Re: [mizar] MML duplications	Josef Urban	0
Re: [mizar] MML duplications	Piotr Rudnicki	0