Chronological Index (0612)

Subject	From	# of followups
[mizar] New Mizar version 7.8.03	Adam Grabowski	0
[mizar] Re: a term representing the extension of a type	Jesse Alama	1
[mizar] feature request: include a semantic representaion of the mml in the mizar distribution	Jesse Alama	1
Re: [mizar] Re: a term representing the extension of a type	Adam Naumowicz	1
Re: [mizar] feature request: include a semantic representaion of the mml in the mizar distribution	Adam Naumowicz	2
[mizar] the rank + nullity = dimension theorem in the mml	Jesse Alama	0
[mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution	Jesse Alama	0
[mizar] emm	Jesse Alama	0
[mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution	Jesse Alama	1
[mizar] Re: a term representing the extension of a type	Jesse Alama	1
[mizar] busted link on mizar bibliography page	Jesse Alama	1
Re: [mizar] busted link on mizar bibliography page	Adam Grabowski	0
Re: [mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution	Josef Urban	0
Re: [mizar] Re: a term representing the extension of a type	Adam Naumowicz	1
[mizar] Re: a term representing the extension of a type	Jesse Alama	1
Re: [mizar] Re: a term representing the extension of a type	Josef Urban	0