Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2003-05-29 23:11:50 -0700 (Thu, 29 May 2003) Revision: 4633 Log message:
Documented fnExtensionalityT and fnExtenT