Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-08-24 15:00:10 -0700 (Mon, 24 Aug 1998)
Revision: 2445
Log message:
Added some comments on how the free_vars and bfree_vars fields in the Term_ds
term types are being computed.
Changes | Path |
Added | metaprl/doc/term_ds_free_vars.txt |
Properties | metaprl/doc/term_ds_free_vars.txt |