Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-23 01:15:33 -0700 (Mon, 23 May 2005)
Revision: 7318
Log message:
Defined list_of_fun (based on partial commented out definition that already
existed) and proved a bunch of its properties.