Chronological Index (1002)

Subject	From	# of followups
[mizar] a question about a proof and a method	Ozyavas, Adem	1
Re: [mizar] a question about a proof and a method	Artur Kornilowicz	0
[mizar] Call for papers: User Interfaces for Theorem Provers, UITP 2010	Claudio Sacerdoti Coen	0
[mizar] Fwd: [MKM-IG] Call for papers: User Interfaces for Theorem Provers, UITP 2010	trybulec	0
[mizar] A question on recursive partial function correctness	Ozyavas, Adem	0
[mizar] License for MML	Josef Urban	1
Re: [mizar] License for MML	Michael Kohlhase	1
[mizar] Fwd: Fwd: License for MML	Josef Urban	0
[mizar] Fwd: Fwd: License for MML	Josef Urban	0
[mizar] Fwd: License for MML	Josef Urban	0
Re: [mizar] License for MML	freek	0
[mizar] Fwd: License for MML	Josef Urban	0
[mizar] Fwd: Fwd: License for MML	Josef Urban	1
[mizar] Fwd: License for MML	Josef Urban	0
[mizar] Re: Fwd: License for MML	Josef Urban	0
[mizar] Fwd: License for MML	Josef Urban	0
[mizar] Fwd: License for MML	Josef Urban	0
[mizar] Fwd: Fwd: Fwd: License for MML	Josef Urban	1
[mizar] Re: Fwd: Fwd: License for MML	Josef Urban	0