public void remove(symbol sym) throws internal_error {
  not_null(sym);
  _all.remove(sym.name());
}

public void remove ( symbol sym ) throws internal_error { not_null ( sym ) ; _all . remove ( sym . name ( ) ) ; }
remove a single symbol if it is in the set .
