| Subject | From | # of followups |
|---|---|---|
| [mizar] MML Query and cscope | mnf72 | 1 |
| Re: [mizar] MML Query and cscope | Grzegorz Bancerek | 0 |
| [mizar] reductions in Mizar | Artur Kornilowicz | 1 |
| Re: [mizar] reductions in Mizar | Josef Urban | 2 |
| [mizar] 2nd announcement: workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012) | Hugo Herbelin | 0 |
| Re: [mizar] reductions in Mizar | trybulec | 1 |
| Re: [mizar] reductions in Mizar | Freek Wiedijk | 1 |
| Re: [mizar] reductions in Mizar | trybulec | 1 |
| Re: [mizar] reductions in Mizar | Freek Wiedijk | 1 |
| [mizar] Re: reductions in Mizar | Jesse Alama | 1 |
| Re: [mizar] Re: reductions in Mizar | Freek Wiedijk | 1 |
| Re: [mizar] Re: reductions in Mizar | Josef Urban | 1 |
| Re: [mizar] Re: reductions in Mizar | Freek Wiedijk | 1 |
| Re: [mizar] Re: reductions in Mizar | Josef Urban | 0 |
| Re: [mizar] reductions in Mizar | Artur Kornilowicz | 1 |
| Re: [mizar] reductions in Mizar | Josef Urban | 0 |