Chronological Index (0611)

Subject	From	# of followups
Re: [mizar] Question on parsing term expression with "qua".	Josef Urban	1
Re: [mizar] Question on parsing term expression with "qua".	Michael Nedzelsky	1
Re: [mizar] Question on parsing term expression with "qua".	Grzegorz Bancerek	1
Re: [mizar] Question on parsing term expression with "qua".	Michael Nedzelsky	0
Re: [mizar] Question on parsing term expression with "qua".	Josef Urban	0
[mizar] automatic `Subset of' typing	Jesse Alama	1
Re: [mizar] automatic `Subset of' typing	Josef Urban	0
[mizar] a term representing the extension of a type	Jesse Alama	1
Re: [mizar] a term representing the extension of a type	Josef Urban	1
Re: [mizar] a term representing the extension of a type	Jesse Alama	1
Re: [mizar] a term representing the extension of a type	Josef Urban	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	Adam Naumowicz	1
Re: [mizar] Re: a term representing the extension of a type	Jesse Alama	1
Re: [mizar] Re: a term representing the extension of a type	Andrzej Trybulec	1
Re: [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	1
Re: [mizar] Re: a term representing the extension of a type	Josef Urban	0