Subject
| From
| # of followups
|
|---|
| [mizar] definitions for incomparable (?) types
| Jesse Alama
| 1
|
| Re: [mizar] definitions for incomparable (?) types
| Josef Urban
| 0
|
| [mizar] Eddie::MIZ
| M Trybulec
| 2
|
| Re: [mizar] Eddie::MIZ
| Josef Urban
| 2
|
| Re: [mizar] Eddie::MIZ
| Jesse Alama
| 1
|
| [mizar] Re: Eddie::MIZ
| Jesse Alama
| 0
|
| [mizar] strict
| Jesse Alama
| 1
|
| [mizar] then per cases;
| Jesse Alama
| 2
|
| Re: [mizar] strict
| Adam Naumowicz
| 3
|
| Re: [mizar] strict
| Josef Urban
| 0
|
| Re: [mizar] then per cases;
| Adam Naumowicz
| 0
|
| [mizar] Re: strict
| Jesse Alama
| 1
|
| Re: [mizar] Re: strict
| Adam Naumowicz
| 2
|
| Re: [mizar] Re: strict
| Jesse Alama
| 1
|
| [mizar] Re: strict
| Jesse Alama
| 1
|
| Re: [mizar] Re: strict
| Adam Naumowicz
| 1
|
| Re: [mizar] Re: strict
| Adam Naumowicz
| 1
|
| Re: [mizar] Re: strict
| Jesse Alama
| 2
|
| Re: [mizar] Re: strict
| Josef Urban
| 1
|
| Re: [mizar] Re: strict
| Josef Urban
| 1
|
| Re: [mizar] Re: strict
| Jesse Alama
| 2
|
| Re: [mizar] Re: strict
| Artur Kornilowicz
| 0
|
| Re: [mizar] Re: strict
| Adam Naumowicz
| 1
|
| Re: [mizar] Re: strict
| Jesse Alama
| 1
|
| Re: [mizar] Re: strict
| Jesse Alama
| 0
|
| Re: [mizar] Re: strict
| Josef Urban
| 1
|
| Re: [mizar] Eddie::MIZ
| M Trybulec
| 0
|
| Re: [mizar] strict
| Grzegorz Bancerek
| 1
|
| Re: [mizar] Eddie::MIZ
| M Trybulec
| 0
|
| Re: [mizar] strict
| Grzegorz Bancerek
| 0
|
| Re: [mizar] Re: strict
| Josef Urban
| 0
|
| Re: [mizar] Re: strict
| Jesse Alama
| 0
|
| Re: [mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution
| Jesse Alama
| 1
|
| [mizar] viewing mizar-forum offline
| Jesse Alama
| 1
|
| Re: [mizar] viewing mizar-forum offline
| Adam Naumowicz
| 0
|
| Re: [mizar] then per cases;
| Andrzej Trybulec
| 0
|
| Re: [mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution
| Josef Urban
| 1
|
| [mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution
| Jesse Alama
| 1
|
| [mizar] New MML version 4.76.959
| Adam Grabowski
| 3
|
| Re: [mizar] New MML version 4.76.959
| Freek Wiedijk
| 1
|
| Re: [mizar] New MML version 4.76.959
| Jesse Alama
| 0
|
| Re: [mizar] New MML version 4.76.959
| Jesse Alama
| 1
|
| Re: [mizar] New MML version 4.76.959
| Jesse Alama
| 0
|
| Re: [mizar] New MML version 4.76.959
| Adam Grabowski
| 0
|
| [mizar] a puzzling *185
| Jesse Alama
| 1
|
| Re: [mizar] a puzzling *185
| Jesse Alama
| 1
|
| [mizar] a puzzling type error
| Jesse Alama
| 1
|
| Re: [mizar] a puzzling type error
| Adam Naumowicz
| 0
|
| Re: [mizar] a puzzling *185
| Adam Naumowicz
| 0
|