Re: motion43 new vesion

["J. Wolff von Gudenberg" <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

GRRRRRRRRRRRRRR
Am 26.04.2013 16:08, schrieb Ralph Baker Kearfott:
> Juergen,
>
> Ist dass wahr?  (c'est vrai?)
>
> Baker
>
> P.S. Hopefully, we can make this a standard text motion, since
>       we will have polished the wording to a high level of quality
>       once we are done here.  John will then merely need to insert
>       it.
>
> On 04/26/2013 08:15 AM, Vincent Lefevre wrote:
> > For (8), I think it should be
> >
> >    (mulRev(b,a),Empty)
> >
> > not
> >
> >    (mulRev(a,b),Empty)

--
-                Prof. Dr. Juergen Wolff von Gudenberg
     o           Lehrstuhl fuer Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602 Fax ../31 86603
  / \  Uni       E-Mail:wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg

Attachment: div2pair.pdf
Description: Adobe PDF document