Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-04 08:52:29 -0700 (Wed, 04 Jul 2001)
Revision: 3313
Log message:
Made var_subst a little more general.
This fixes another bug that was affecting JProver.
Changes | Path |
+1 -1 | metaprl/refiner/term_ds/term_base_ds.ml |
+8 -1 | metaprl/refiner/term_ds/term_subst_ds.ml |
+2 -3 | metaprl/theories/itt/itt_logic.ml |