[Top] [Contents] [Index] [ ? ]

Footnotes

(1)

For historical reasons, JML also allows one to use modifiable and modifies as synonyms for assignable.



This document was generated by leavens on January, 11 2006 using texi2html