Chronological Index (0704)

Subject	From	# of followups
[mizar] PATE deadline extended to April 11, 2007	Adam Naumowicz	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	Andrzej Trybulec	0
[mizar] Refernces to JFM	Andrzej Trybulec	0
[mizar] Last revision	Andrzej Trybulec	0
[mizar] Functions between the positive real numbers?	Freek Wiedijk	4
Re: [mizar] Functions between the positive real numbers?	Jesse Alama	2
[mizar] the carrier of and [#]	Jesse Alama	1
Re: [mizar] Functions between the positive real numbers?	Freek Wiedijk	0
Re: [mizar] Functions between the positive real numbers?	Adam Naumowicz	0
Re: [mizar] the carrier of and [#]	Adam Naumowicz	1
Re: [mizar] Functions between the positive real numbers?	Josef Urban	0
Re: [mizar] the carrier of and [#]	Jesse Alama	1
Re: [mizar] the carrier of and [#]	Adam Naumowicz	1
Re: [mizar] the carrier of and [#]	Jesse Alama	1
Re: [mizar] the carrier of and [#]	Adam Naumowicz	1
Re: [mizar] the carrier of and [#]	Jesse Alama	1
Re: [mizar] the carrier of and [#]	Josef Urban	0
Re: [mizar] Functions between the positive real numbers?	Andrzej Trybulec	0
Re: [mizar] Functions between the positive real numbers?	Andrzej Trybulec	0
[mizar] "identify" missing from mizar grammar	Jesse Alama	1
Re: [mizar] "identify" missing from mizar grammar	Michael Nedzelsky	0
[mizar] typo in mml: "lineary-closed"	Jesse Alama	0
[mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	Jesse Alama	1
Re: [mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	Josef Urban	0
Re: [mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	shidama yasunari	1
Re: [mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	Andrzej Trybulec	1
Re: [mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	shidama yasunari	2
Re: [mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	Freek Wiedijk	0
Re: [mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	Josef Urban	1
[mizar] verifier infinite loop	Jesse Alama	1
Re: [mizar] verifier infinite loop	Adam Naumowicz	1
Re: [mizar] verifier infinite loop	Adam Naumowicz	0
Re: [mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	shidama yasunari	1
Re: [mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq	Josef Urban	0
[mizar] mizar binaries for i386/darwin	Jesse Alama	0
[mizar] Complex Linear Topological Space	Hidenori Matsuzaki	0