Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-04-03 21:24:42 -0800 (Sat, 03 Apr 1999)
Revision: 2626
Log message:
Added MetaLabeled of string * meta_term variant to meta_term type
Ml_format.print_term would raise an exception when given meta_term -
I could not figure out what is supposed to go there.
In filter_simmary in functions meta_term_of_term and term_of_meta_term
MetaLabeled (l, t) is encoded as meta_labeled [String l] (t)