Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-13 19:16:47 -0800 (Thu, 13 Jan 2005)
Revision: 6399
Log message:

      Add an "is_closed_term" function.
      

Changes	Path
+1 -0	metaprl/refiner/refsig/term_subst_sig.ml
+2 -0	metaprl/refiner/term_ds/term_subst_ds.ml
+15 -0	metaprl/refiner/term_std/term_subst_std.ml