Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-05-23 22:46:50 -0700 (Mon, 23 May 2005) Revision: 7325 Log message:
Finished proving properties of the "subterms" operator.