Michael van Acken (Michael.van.Acken@de.uu.net) schrieb: Well, I don't really like the idea of another language extension at all ;-) But for implementing this, here is my comment: > PROCEDURE (VAR v : a) [ABSTRACT] F * (x, y : REAL); > END F; The END should become optional here, too. This is more consistent with the idea of "unimplemeneted forward methods are abstract". +++hartmut