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

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

Hi Jesse,

On Sat, 29 Dec 2007, Jesse Alama wrote:

> It looks like there are two new articles since the last release (MML
> 4.93.997) -- what are they?

Here are their titles:

softadm@mizar:~> tail -8 /usr/local/doc/mizar/mml.txt
998. GFACIRC2
     Stability of n-bit Generalized Full Adder Circuits (GFAs). Part {II}
      by Katsumi Wasaki
     Received December 18, 2007
999. MATRIX15
     Solutions of Linear Equations
      by Karol P\c{a}k
     Received December 18, 2007

Best,

Adam

> Adam Naumowicz <adamn@math.uwb.edu.pl> writes:
>
> > 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/
> > ======================================================================
>
> --
> Jesse Alama (alama@stanford.edu)


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/
======================================================================