eliminated weight_ASTAR: int Unsynchronized.ref (astar_tac appears to be obsolete anyway);
eliminated weight_ASTAR: int Unsynchronized.ref (astar_tac appears to be obsolete anyway);

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