wenzelm [Mon, 06 Feb 2006 20:59:08 +0100] rev 18941
added add_abbrevs(_i);
moved const_of_class/class_of_const to logic.ML;
added no_vars (from theory.ML);
added cert_def;
added const_expansion;
certify: refer to Consts.certify, which includes expansion;