Symtab: use fast_string_ord instead of string_ord -- affects order of Symtab.dest etc.;
Symtab: use fast_string_ord instead of string_ord -- affects order of Symtab.dest etc.;

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