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
|