RE: [mizar] Mizar 7.8.07 accepts an incorrect inference?

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Hello,

On Sat, 29 Dec 2007, Shidama Yasunari wrote:

> Dear Prof. Adam Naumowicz and Prof. Bill Chisolm, Thank you very much 
> for your bug reports and quick response.  Now we are preparing the 
> fundamental theorems for formalization proof of Poincare's lemma(by 
> Grisha Perelman )  systematically.  Quite a lot of time is necessary for 
> it. So we need the " normal systems"  as soon as possible.

I've just uploaded the fixed version (7.8.08) to the main Mizar server - 
please upgrade your Mizar system if you're using schemes in your proofs.

All the best (less bugs ;-)) for all Mizarians for the New Year!

Adam Naumowicz

======================================================================
Department of Applied Logic            fax. +48 (85) 745-7662
Institute of Computer Science          tel. +48 (85) 745-7559 (office)
University of Bialystok                e-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
======================================================================