Concerning my previous mail I'll add that I tried compiling Klaus' peano page, which went fine. Hence, my path and what not should be okay. Furthermore, I believe I added every necessary thing in the associativity section. I guess there is something else that should be done. Regards, Martin