Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-05-27 19:45:13 -0700 (Wed, 27 May 1998)
Revision: 2188
Log message:
Parameterized TermMeta module with Term and TermSubst modules
| Changes | Path |
| +4 -1 | metaprl/refiner/refiner_std.ml |