Subject
| From
| # of followups
|
|---|
| [mizar] what's new in mizar?
| Jesse Alama
| 1
|
| Re: [mizar] what's new in mizar?
| Adam Naumowicz
| 1
|
| [mizar] Re: what's new in mizar?
| Jesse Alama
| 1
|
| [mizar] Re: calculating the transitive closure of required mizar items for a theorem
| Jesse Alama
| 1
|
| [mizar] Re: calculating the transitive closure of required mizar items for a theorem
| Jesse Alama
| 1
|
| [mizar] Re: mmlquery for 4.92.996
| Jesse Alama
| 1
|
| [mizar] Re: mmlquery for 4.92.996
| Jesse Alama
| 0
|
| Re: [mizar] Re: what's new in mizar?
| Adam Naumowicz
| 1
|
| Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem
| Josef Urban
| 0
|
| Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem
| Josef Urban
| 0
|
| Re: [mizar] Re: what's new in mizar?
| Jesse Alama
| 1
|
| Re: [mizar] Re: what's new in mizar?
| Andrzej Trybulec
| 0
|
| [mizar] Mizar 7.8.07 accepts an incorrect inference?
| Chisolm, Bill
| 1
|
| Re: [mizar] Mizar 7.8.07 accepts an incorrect inference?
| Adam Naumowicz
| 1
|
| [mizar] xsltproc bug
| Josef Urban
| 0
|
| RE: [mizar] Mizar 7.8.07 accepts an incorrect inference?
| Shidama Yasunari
| 1
|
| RE: [mizar] Mizar 7.8.07 accepts an incorrect inference?
| Adam Naumowicz
| 1
|
| Re: [mizar] Mizar 7.8.07 accepts an incorrect inference?
| Jesse Alama
| 1
|
| Re: [mizar] Mizar 7.8.07 accepts an incorrect inference?
| Adam Naumowicz
| 0
|
| RE[mizar] LPREM,RELINFER and *603,*604,*605
| rk1
| 1
|
| Re: RE[mizar] LPREM,RELINFER and *603,*604,*605
| Adam Naumowicz
| 1
|
| Re: RE[mizar] LPREM,RELINFER and *603,*604,*605
| rk1
| 1
|
| Re: RE[mizar] LPREM,RELINFER and *603,*604,*605
| Adam Naumowicz
| 2
|
| Re: RE[mizar] LPREM,RELINFER and *603,*604,*605
| Josef Urban
| 0
|
| [mizar] Re: RELPREM,RELINFER and *603,*604,*605
| Jesse Alama
| 0
|
| [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Jesse Alama
| 1
|
| Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Josef Urban
| 1
|
| Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Freek Wiedijk
| 1
|
| Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Josef Urban
| 0
|
| [mizar] html for 4.95.999
| Josef Urban
| 0
|