export subst_alias; moved read_const_exprs to Tools/code_package.ML -- avoids dependency on ThyInfo;
export subst_alias;
moved read_const_exprs to Tools/code_package.ML -- avoids dependency on ThyInfo;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle