| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Baker, P1788
I again amended motion10.
Thanks to
comments by John and Nate,
a friendly amendment by Michel and Dan
and a redefinition of the general pow function by Stefan
I think the motion is now ready for voting.
The website has already been updated
best regards
Juergen
--
=======
o Prof. Dr. J. Wolff v. Gudenberg, Informatik 2
/ \ Univ. Wuerzburg, Am Hubland, D-97074 Wuerzburg
info2 o Tel.: +49 931 / 31-86602 Fax: +49 931 / 888-6603
/ \ Uni e-mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg http://www2.informatik.uni-wuerzburg.de/
Attachment:
motion10-functionsv22.pdf
Description: Adobe PDF document