| Subject | From | # of followups |
|---|---|---|
| [mizar] proof objects for mizar: already available? | Jesse Alama | 1 |
| Re: [mizar] proof objects for mizar: already available? | Josef Urban | 1 |
| [mizar] What does this 'attr c1 is strict' convention mean? | psvr | 1 |
| Re: [mizar] What does this 'attr c1 is strict' convention mean? | Adam Naumowicz | 0 |
| [mizar] Error No 9 | Boris Schminke | 0 |
| [mizar] Re: proof objects for mizar: already available? | Jesse Alama | 1 |
| Re: [mizar] Re: proof objects for mizar: already available? | Josef Urban | 1 |
| [mizar] Re: proof objects for mizar: already available? | Jesse Alama | 1 |
| Re: [mizar] Re: proof objects for mizar: already available? | Josef Urban | 0 |